Merge pull request #889 from fabro-sh/pin-petri-main

Bump the Petri pin past #33, #34 and #35
This commit is contained in:
Bryan Helmkamp 2026-09-21 11:50:39 -04:00 • committed by GitHub
commit 643f10d1b3
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 22 additions and 22 deletions

30
Cargo.lock generated
View file

@ -5177,7 +5177,7 @@ checksum = "9b4f627cb1b25917193a259e49bdad08f671f8d9708acfd5fe0a8c1455d87220"
[[package]]
name = "petri-attractor-steps"
version = "0.1.0"
source = "git+https://github.com/lithoscomputer/petri.git?rev=911dbb5f24099f0f616fc6b5638318f956ae22c9#911dbb5f24099f0f616fc6b5638318f956ae22c9"
source = "git+https://github.com/lithoscomputer/petri.git?rev=dfdecdc6990cd49ff7a2d070ffccf32563347fa9#dfdecdc6990cd49ff7a2d070ffccf32563347fa9"
dependencies = [
"async-trait",
"globset",
@ -5208,7 +5208,7 @@ dependencies = [
[[package]]
name = "petri-driver"
version = "0.1.0"
source = "git+https://github.com/lithoscomputer/petri.git?rev=911dbb5f24099f0f616fc6b5638318f956ae22c9#911dbb5f24099f0f616fc6b5638318f956ae22c9"
source = "git+https://github.com/lithoscomputer/petri.git?rev=dfdecdc6990cd49ff7a2d070ffccf32563347fa9#dfdecdc6990cd49ff7a2d070ffccf32563347fa9"
dependencies = [
"async-trait",
"getrandom 0.3.4",
@ -5228,7 +5228,7 @@ dependencies = [
[[package]]
name = "petri-engine"
version = "0.1.0"
source = "git+https://github.com/lithoscomputer/petri.git?rev=911dbb5f24099f0f616fc6b5638318f956ae22c9#911dbb5f24099f0f616fc6b5638318f956ae22c9"
source = "git+https://github.com/lithoscomputer/petri.git?rev=dfdecdc6990cd49ff7a2d070ffccf32563347fa9#dfdecdc6990cd49ff7a2d070ffccf32563347fa9"
dependencies = [
"petri-ir",
"serde",
@ -5240,7 +5240,7 @@ dependencies = [
[[package]]
name = "petri-execution"
version = "0.1.0"
source = "git+https://github.com/lithoscomputer/petri.git?rev=911dbb5f24099f0f616fc6b5638318f956ae22c9#911dbb5f24099f0f616fc6b5638318f956ae22c9"
source = "git+https://github.com/lithoscomputer/petri.git?rev=dfdecdc6990cd49ff7a2d070ffccf32563347fa9#dfdecdc6990cd49ff7a2d070ffccf32563347fa9"
dependencies = [
"async-trait",
"petri-driver",
@ -5264,7 +5264,7 @@ dependencies = [
[[package]]
name = "petri-executor"
version = "0.1.0"
source = "git+https://github.com/lithoscomputer/petri.git?rev=911dbb5f24099f0f616fc6b5638318f956ae22c9#911dbb5f24099f0f616fc6b5638318f956ae22c9"
source = "git+https://github.com/lithoscomputer/petri.git?rev=dfdecdc6990cd49ff7a2d070ffccf32563347fa9#dfdecdc6990cd49ff7a2d070ffccf32563347fa9"
dependencies = [
"async-trait",
"libc",
@ -5279,7 +5279,7 @@ dependencies = [
[[package]]
name = "petri-executor-sandbox"
version = "0.1.0"
source = "git+https://github.com/lithoscomputer/petri.git?rev=911dbb5f24099f0f616fc6b5638318f956ae22c9#911dbb5f24099f0f616fc6b5638318f956ae22c9"
source = "git+https://github.com/lithoscomputer/petri.git?rev=dfdecdc6990cd49ff7a2d070ffccf32563347fa9#dfdecdc6990cd49ff7a2d070ffccf32563347fa9"
dependencies = [
"async-trait",
"petri-executor",
@ -5301,7 +5301,7 @@ dependencies = [
[[package]]
name = "petri-frontend"
version = "0.1.0"
source = "git+https://github.com/lithoscomputer/petri.git?rev=911dbb5f24099f0f616fc6b5638318f956ae22c9#911dbb5f24099f0f616fc6b5638318f956ae22c9"
source = "git+https://github.com/lithoscomputer/petri.git?rev=dfdecdc6990cd49ff7a2d070ffccf32563347fa9#dfdecdc6990cd49ff7a2d070ffccf32563347fa9"
dependencies = [
"marked-yaml",
"petri-ir",
@ -5315,7 +5315,7 @@ dependencies = [
[[package]]
name = "petri-frontend-attractor"
version = "0.1.0"
source = "git+https://github.com/lithoscomputer/petri.git?rev=911dbb5f24099f0f616fc6b5638318f956ae22c9#911dbb5f24099f0f616fc6b5638318f956ae22c9"
source = "git+https://github.com/lithoscomputer/petri.git?rev=dfdecdc6990cd49ff7a2d070ffccf32563347fa9#dfdecdc6990cd49ff7a2d070ffccf32563347fa9"
dependencies = [
"minijinja",
"petri-frontend",
@ -5332,7 +5332,7 @@ dependencies = [
[[package]]
name = "petri-frontend-fabro"
version = "0.1.0"
source = "git+https://github.com/lithoscomputer/petri.git?rev=911dbb5f24099f0f616fc6b5638318f956ae22c9#911dbb5f24099f0f616fc6b5638318f956ae22c9"
source = "git+https://github.com/lithoscomputer/petri.git?rev=dfdecdc6990cd49ff7a2d070ffccf32563347fa9#dfdecdc6990cd49ff7a2d070ffccf32563347fa9"
dependencies = [
"petri-frontend",
"petri-frontend-attractor",
@ -5348,7 +5348,7 @@ dependencies = [
[[package]]
name = "petri-frontend-native"
version = "0.1.0"
source = "git+https://github.com/lithoscomputer/petri.git?rev=911dbb5f24099f0f616fc6b5638318f956ae22c9#911dbb5f24099f0f616fc6b5638318f956ae22c9"
source = "git+https://github.com/lithoscomputer/petri.git?rev=dfdecdc6990cd49ff7a2d070ffccf32563347fa9#dfdecdc6990cd49ff7a2d070ffccf32563347fa9"
dependencies = [
"petri-frontend",
"petri-ir",
@ -5359,7 +5359,7 @@ dependencies = [
[[package]]
name = "petri-ir"
version = "0.1.0"
source = "git+https://github.com/lithoscomputer/petri.git?rev=911dbb5f24099f0f616fc6b5638318f956ae22c9#911dbb5f24099f0f616fc6b5638318f956ae22c9"
source = "git+https://github.com/lithoscomputer/petri.git?rev=dfdecdc6990cd49ff7a2d070ffccf32563347fa9#dfdecdc6990cd49ff7a2d070ffccf32563347fa9"
dependencies = [
"regex",
"serde",
@ -5372,7 +5372,7 @@ dependencies = [
[[package]]
name = "petri-runtime"
version = "0.1.0"
source = "git+https://github.com/lithoscomputer/petri.git?rev=911dbb5f24099f0f616fc6b5638318f956ae22c9#911dbb5f24099f0f616fc6b5638318f956ae22c9"
source = "git+https://github.com/lithoscomputer/petri.git?rev=dfdecdc6990cd49ff7a2d070ffccf32563347fa9#dfdecdc6990cd49ff7a2d070ffccf32563347fa9"
dependencies = [
"async-trait",
"petri-driver",
@ -5393,7 +5393,7 @@ dependencies = [
[[package]]
name = "petri-steps"
version = "0.1.0"
source = "git+https://github.com/lithoscomputer/petri.git?rev=911dbb5f24099f0f616fc6b5638318f956ae22c9#911dbb5f24099f0f616fc6b5638318f956ae22c9"
source = "git+https://github.com/lithoscomputer/petri.git?rev=dfdecdc6990cd49ff7a2d070ffccf32563347fa9#dfdecdc6990cd49ff7a2d070ffccf32563347fa9"
dependencies = [
"async-trait",
"petri-executor",
@ -5409,7 +5409,7 @@ dependencies = [
[[package]]
name = "petri-store"
version = "0.1.0"
source = "git+https://github.com/lithoscomputer/petri.git?rev=911dbb5f24099f0f616fc6b5638318f956ae22c9#911dbb5f24099f0f616fc6b5638318f956ae22c9"
source = "git+https://github.com/lithoscomputer/petri.git?rev=dfdecdc6990cd49ff7a2d070ffccf32563347fa9#dfdecdc6990cd49ff7a2d070ffccf32563347fa9"
dependencies = [
"async-trait",
"getrandom 0.3.4",
@ -5424,7 +5424,7 @@ dependencies = [
[[package]]
name = "petri-testkit"
version = "0.1.0"
source = "git+https://github.com/lithoscomputer/petri.git?rev=911dbb5f24099f0f616fc6b5638318f956ae22c9#911dbb5f24099f0f616fc6b5638318f956ae22c9"
source = "git+https://github.com/lithoscomputer/petri.git?rev=dfdecdc6990cd49ff7a2d070ffccf32563347fa9#dfdecdc6990cd49ff7a2d070ffccf32563347fa9"
dependencies = [
"async-trait",
"petri-driver",

View file

@ -118,13 +118,13 @@ pebble-cli-core = { git = "https://github.com/lithoscomputer/pebble", rev = "67c
# one copy of each. Only `fabro-petri` and `fabro-dot` (the DOT parser alone)
# may depend on these packages; the keys carry the `petri_` prefix so the crate
# names say where they come from.
petri_runtime = { git = "https://github.com/lithoscomputer/petri.git", rev = "911dbb5f24099f0f616fc6b5638318f956ae22c9", package = "petri-runtime" }
petri_execution = { git = "https://github.com/lithoscomputer/petri.git", rev = "911dbb5f24099f0f616fc6b5638318f956ae22c9", package = "petri-execution" }
petri_store = { git = "https://github.com/lithoscomputer/petri.git", rev = "911dbb5f24099f0f616fc6b5638318f956ae22c9", package = "petri-store" }
petri_attractor_steps = { git = "https://github.com/lithoscomputer/petri.git", rev = "911dbb5f24099f0f616fc6b5638318f956ae22c9", package = "petri-attractor-steps" }
petri_frontend_attractor = { git = "https://github.com/lithoscomputer/petri.git", rev = "911dbb5f24099f0f616fc6b5638318f956ae22c9", package = "petri-frontend-attractor" }
petri_frontend_fabro = { git = "https://github.com/lithoscomputer/petri.git", rev = "911dbb5f24099f0f616fc6b5638318f956ae22c9", package = "petri-frontend-fabro" }
petri_testkit = { git = "https://github.com/lithoscomputer/petri.git", rev = "911dbb5f24099f0f616fc6b5638318f956ae22c9", package = "petri-testkit" }
petri_runtime = { git = "https://github.com/lithoscomputer/petri.git", rev = "dfdecdc6990cd49ff7a2d070ffccf32563347fa9", package = "petri-runtime" }
petri_execution = { git = "https://github.com/lithoscomputer/petri.git", rev = "dfdecdc6990cd49ff7a2d070ffccf32563347fa9", package = "petri-execution" }
petri_store = { git = "https://github.com/lithoscomputer/petri.git", rev = "dfdecdc6990cd49ff7a2d070ffccf32563347fa9", package = "petri-store" }
petri_attractor_steps = { git = "https://github.com/lithoscomputer/petri.git", rev = "dfdecdc6990cd49ff7a2d070ffccf32563347fa9", package = "petri-attractor-steps" }
petri_frontend_attractor = { git = "https://github.com/lithoscomputer/petri.git", rev = "dfdecdc6990cd49ff7a2d070ffccf32563347fa9", package = "petri-frontend-attractor" }
petri_frontend_fabro = { git = "https://github.com/lithoscomputer/petri.git", rev = "dfdecdc6990cd49ff7a2d070ffccf32563347fa9", package = "petri-frontend-fabro" }
petri_testkit = { git = "https://github.com/lithoscomputer/petri.git", rev = "dfdecdc6990cd49ff7a2d070ffccf32563347fa9", package = "petri-testkit" }
sentry = { version = "0.35", default-features = false, features = ["backtrace", "contexts", "ureq", "rustls"] }
fork = "0.2"
exec = "0.3"