Skip to content

ci: reject Mathlib pins whose cache lacks modules - #672

Merged
kim-em merged 1 commit into
mainfrom
ci/mathlib-cache-complete
Nov 13, 2026
Merged

ci: reject Mathlib pins whose cache lacks modules#672
kim-em merged 1 commit into
mainfrom
ci/mathlib-cache-complete

ci: reject Mathlib pins whose cache lacks modules

dfc1e3d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar