Bake Mathlib build cache into CI image - #307

Merged

Eduardogbg merged 8 commits into

mainfrom

edu/ci-mathlib-image

Jun 12, 2026

Commits on Jun 11, 2026

docker: bake the mathlib ltar store into the CI image
Eduardogbg
committed
c8a3611
ci: free disk space on both host and container runners
Eduardogbg
committed
917e97c
ci: split build-ci-image into check, build, and guard jobs
Eduardogbg
committed
8316fd0
scripts: share lake package clones and keep dep rewrites byte-preserving
Eduardogbg
committed
aa379d7
testing: pin every project's manifest with one mathlib URL spelling
Eduardogbg
committed
69c290e
ci: compute cache keys once and gate jobs at the job level
Eduardogbg
committed
739f83d
ci: cancel superseded PR runs with a per-ref concurrency group
Eduardogbg
committed
60542d4

Commits on Jun 12, 2026

ci: add a gate job reporting the required Build CI Image check
Eduardogbg
committed
e217351