ci: Refactor jobs to reduce runtime - #535

Merged

samuelburnham merged 7 commits into

mainfrom

Aug 6, 2026

Commits on Aug 4, 2026

ci: split lean-test into a cached build + parallel test matrix
samuelburnham
committed
f3fe83a
ci: fold zkvm-fixture into the build job
samuelburnham
committed
4f25652
ci: split test into test-core/test-tc jobs; Lean sorry-frontier check
samuelburnham
committed
dfee239
ci: run the Ix.Tc verification suite on push-to-main only
samuelburnham
committed
bdc9f3c
ci: retry the zkVM apt install to survive transient mirror errors
samuelburnham
committed
f2bb551
ci: use ./.lake cache path to match lean-action
samuelburnham
committed
77e5075
test(tc): compile the parity env on demand; rename test job; CI tidy
samuelburnham
committed
0f3d642