Skip to content

Fail runs when proof is unsuccessful - #2

Merged
EauDoon merged 1 commit into
mainfrom
codex/fail-unsuccessful-proof
Aug 29, 2026
Merged

Fail runs when proof is unsuccessful#2
EauDoon merged 1 commit into
mainfrom
codex/fail-unsuccessful-proof

fix: fail runs when proof is unsuccessful

0b22f7b
Select commit
Loading
Failed to load commit list.