Skip to content

chore(ci): fail properly in external-repo-checks #17827

chore(ci): fail properly in external-repo-checks

chore(ci): fail properly in external-repo-checks #17827

Example scripts

succeeded Jan 8, 2025 in 10s
Set up job
1s
Checkout
2s
Install Foundry
1s
Install `bb`
0s
Download nargo binary
1s
Set nargo on PATH
0s
Run `prove_and_verify`
1s
Run `codegen_verifier`
1s
Post Install Foundry
0s
Post Checkout
0s
Complete job
0s