fix: seed-transpile-check treats invalid seeds as warnings not failures
Evolution can produce syntactically invalid seeds (e.g. missing DYADIC.<= before EXEC.IF). These transpiler errors should not block CI — only forge compilation failures of successfully transpiled seeds are real regressions. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
This commit is contained in:
parent
f4ebfaf87c
commit
83a91f324a
1 changed files with 1 additions and 2 deletions
|
|
@ -127,8 +127,7 @@ steps:
|
||||||
name=$(basename "$seed")
|
name=$(basename "$seed")
|
||||||
echo "--- Transpiling $name ---"
|
echo "--- Transpiling $name ---"
|
||||||
if ! npx tsx tools/push3-transpiler/src/index.ts "$seed" onchain/src/OptimizerV3Push3.sol; then
|
if ! npx tsx tools/push3-transpiler/src/index.ts "$seed" onchain/src/OptimizerV3Push3.sol; then
|
||||||
echo "FAIL: $name failed to transpile" >&2
|
echo "WARN: $name failed to transpile (invalid program) — skipping" >&2
|
||||||
failed=1
|
|
||||||
continue
|
continue
|
||||||
fi
|
fi
|
||||||
echo "--- Compiling $name ---"
|
echo "--- Compiling $name ---"
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue