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

ci: reject Mathlib pins whose cache lacks modules#672

kim-em merged 1 commit into

mainleanprover/lean-eval:mainfrom

ci/mathlib-cache-completeleanprover/lean-eval:ci/mathlib-cache-completeCopy head branch name to clipboard