Skip to content

fix(mathlib): always lake build after cache get (robust to incomplete upstream cache)#15

Merged
avrabe merged 1 commit into
mainfrom
fix/mathlib-cache-fallback
Jun 13, 2026
Merged

fix(mathlib): always lake build after cache get (robust to incomplete upstream cache)#15
avrabe merged 1 commit into
mainfrom
fix/mathlib-cache-fallback

fix(mathlib): always lake build after cache get (fill incomplete-cach…

d161341
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar