CI: Update tlaplus/example script parameters

ahelwer · ahelwer · commit 575fd8b9ec2f · 2025-08-01T16:26:07.000-05:00
Reflect changes in tlaplus/Examples#180 Signed-off-by: Andrew Helwer <ahelwer@pm.me>
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -116,6 +116,6 @@ jobs:
                 )
                 python "$SCRIPT_DIR/check_proofs.py"            \
                   --tlapm_path "$DEPS_DIR/tlapm-install"        \
-                  --manifest_path "$EXAMPLES_DIR/manifest.json" \
+                  --examples_root "$EXAMPLES_DIR"               \
                   --skip "${SKIP[@]}"
 

Original file line number	Diff line number	Diff line change
`@@ -116,6 +116,6 @@ jobs:`
`116`	`116`	`)`
`117`	`117`	`python "$SCRIPT_DIR/check_proofs.py" \`
`118`	`118`	`--tlapm_path "$DEPS_DIR/tlapm-install" \`
`119`		`- --manifest_path "$EXAMPLES_DIR/manifest.json" \`
	`119`	`+ --examples_root "$EXAMPLES_DIR" \`
`120`	`120`	`--skip "${SKIP[@]}"`
`121`	`121`