Pin Petri to the run-goal-precedence branch head

Petri 911dbb5f adds the `petri.launch_goal` compile variable and lets a
settings goal override the graph's own. Re-pin to the merge commit once
lithoscomputer/petri#33 merges.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
Bryan Helmkamp 2026-09-21 03:36:41 -04:00
parent 40419cbd2b
commit fc6fb20bd0
No known key found for this signature in database
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=9d5171558115d94e867af01ec6d1938e0f636e12#9d5171558115d94e867af01ec6d1938e0f636e12"
source = "git+https://github.com/lithoscomputer/petri.git?rev=911dbb5f24099f0f616fc6b5638318f956ae22c9#911dbb5f24099f0f616fc6b5638318f956ae22c9"
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=9d5171558115d94e867af01ec6d1938e0f636e12#9d5171558115d94e867af01ec6d1938e0f636e12"
source = "git+https://github.com/lithoscomputer/petri.git?rev=911dbb5f24099f0f616fc6b5638318f956ae22c9#911dbb5f24099f0f616fc6b5638318f956ae22c9"
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=9d5171558115d94e867af01ec6d1938e0f636e12#9d5171558115d94e867af01ec6d1938e0f636e12"
source = "git+https://github.com/lithoscomputer/petri.git?rev=911dbb5f24099f0f616fc6b5638318f956ae22c9#911dbb5f24099f0f616fc6b5638318f956ae22c9"
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=9d5171558115d94e867af01ec6d1938e0f636e12#9d5171558115d94e867af01ec6d1938e0f636e12"
source = "git+https://github.com/lithoscomputer/petri.git?rev=911dbb5f24099f0f616fc6b5638318f956ae22c9#911dbb5f24099f0f616fc6b5638318f956ae22c9"
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=9d5171558115d94e867af01ec6d1938e0f636e12#9d5171558115d94e867af01ec6d1938e0f636e12"
source = "git+https://github.com/lithoscomputer/petri.git?rev=911dbb5f24099f0f616fc6b5638318f956ae22c9#911dbb5f24099f0f616fc6b5638318f956ae22c9"
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=9d5171558115d94e867af01ec6d1938e0f636e12#9d5171558115d94e867af01ec6d1938e0f636e12"
source = "git+https://github.com/lithoscomputer/petri.git?rev=911dbb5f24099f0f616fc6b5638318f956ae22c9#911dbb5f24099f0f616fc6b5638318f956ae22c9"
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=9d5171558115d94e867af01ec6d1938e0f636e12#9d5171558115d94e867af01ec6d1938e0f636e12"
source = "git+https://github.com/lithoscomputer/petri.git?rev=911dbb5f24099f0f616fc6b5638318f956ae22c9#911dbb5f24099f0f616fc6b5638318f956ae22c9"
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=9d5171558115d94e867af01ec6d1938e0f636e12#9d5171558115d94e867af01ec6d1938e0f636e12"
source = "git+https://github.com/lithoscomputer/petri.git?rev=911dbb5f24099f0f616fc6b5638318f956ae22c9#911dbb5f24099f0f616fc6b5638318f956ae22c9"
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=9d5171558115d94e867af01ec6d1938e0f636e12#9d5171558115d94e867af01ec6d1938e0f636e12"
source = "git+https://github.com/lithoscomputer/petri.git?rev=911dbb5f24099f0f616fc6b5638318f956ae22c9#911dbb5f24099f0f616fc6b5638318f956ae22c9"
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=9d5171558115d94e867af01ec6d1938e0f636e12#9d5171558115d94e867af01ec6d1938e0f636e12"
source = "git+https://github.com/lithoscomputer/petri.git?rev=911dbb5f24099f0f616fc6b5638318f956ae22c9#911dbb5f24099f0f616fc6b5638318f956ae22c9"
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=9d5171558115d94e867af01ec6d1938e0f636e12#9d5171558115d94e867af01ec6d1938e0f636e12"
source = "git+https://github.com/lithoscomputer/petri.git?rev=911dbb5f24099f0f616fc6b5638318f956ae22c9#911dbb5f24099f0f616fc6b5638318f956ae22c9"
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=9d5171558115d94e867af01ec6d1938e0f636e12#9d5171558115d94e867af01ec6d1938e0f636e12"
source = "git+https://github.com/lithoscomputer/petri.git?rev=911dbb5f24099f0f616fc6b5638318f956ae22c9#911dbb5f24099f0f616fc6b5638318f956ae22c9"
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=9d5171558115d94e867af01ec6d1938e0f636e12#9d5171558115d94e867af01ec6d1938e0f636e12"
source = "git+https://github.com/lithoscomputer/petri.git?rev=911dbb5f24099f0f616fc6b5638318f956ae22c9#911dbb5f24099f0f616fc6b5638318f956ae22c9"
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=9d5171558115d94e867af01ec6d1938e0f636e12#9d5171558115d94e867af01ec6d1938e0f636e12"
source = "git+https://github.com/lithoscomputer/petri.git?rev=911dbb5f24099f0f616fc6b5638318f956ae22c9#911dbb5f24099f0f616fc6b5638318f956ae22c9"
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=9d5171558115d94e867af01ec6d1938e0f636e12#9d5171558115d94e867af01ec6d1938e0f636e12"
source = "git+https://github.com/lithoscomputer/petri.git?rev=911dbb5f24099f0f616fc6b5638318f956ae22c9#911dbb5f24099f0f616fc6b5638318f956ae22c9"
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 = "9d5171558115d94e867af01ec6d1938e0f636e12", package = "petri-runtime" }
petri_execution = { git = "https://github.com/lithoscomputer/petri.git", rev = "9d5171558115d94e867af01ec6d1938e0f636e12", package = "petri-execution" }
petri_store = { git = "https://github.com/lithoscomputer/petri.git", rev = "9d5171558115d94e867af01ec6d1938e0f636e12", package = "petri-store" }
petri_attractor_steps = { git = "https://github.com/lithoscomputer/petri.git", rev = "9d5171558115d94e867af01ec6d1938e0f636e12", package = "petri-attractor-steps" }
petri_frontend_attractor = { git = "https://github.com/lithoscomputer/petri.git", rev = "9d5171558115d94e867af01ec6d1938e0f636e12", package = "petri-frontend-attractor" }
petri_frontend_fabro = { git = "https://github.com/lithoscomputer/petri.git", rev = "9d5171558115d94e867af01ec6d1938e0f636e12", package = "petri-frontend-fabro" }
petri_testkit = { git = "https://github.com/lithoscomputer/petri.git", rev = "9d5171558115d94e867af01ec6d1938e0f636e12", package = "petri-testkit" }
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" }
sentry = { version = "0.35", default-features = false, features = ["backtrace", "contexts", "ureq", "rustls"] }
fork = "0.2"
exec = "0.3"