ended8월 2일· 1 sources
Taming a 40-Minute Lean CI: Three Rounds, Three Wrong Suspects
Why it matters
Our Lean 4 + mathlib project used to spend 41 minutes in CI on every single PR. Today, the worst case — rebuilding the heaviest files from scratch — takes 12 minutes, and an ordinary PR finishes in a ...
1
Sources
+0
24h
—
Growth
50d
Active