Harden the CI check scripts - #32

Merged

daira merged 4 commits into

mainfrom

ci-script-hardening

Aug 19, 2026

Commits on Aug 19, 2026

ci: fail the native-lane check when the lane list cannot be obtained

daira
and
claude
committed
6934370
ci: adopt ironwood's hardened csimp census

daira
and
claude
committed
3379d5f
ci: check that every module is reachable from the build surface

daira
and
claude
committed
f5c9015
ci: forbid Mathlib umbrella imports

daira
and
claude
committed
141f6f9