Repository navigation

fix(abi): type-check the Idris2 proofs in CI and re-prove line-comment stripping #679

Job	Run time
governance / UUID v7 conformance	7s
governance / JS runtimes — bun	5s
governance / JS runtimes — deno	7s
governance / JS runtimes — pnpm	7s
governance / UUID v8 conformance	8s
governance / Check Workflow Staleness	9s
governance / Language / package anti-pattern policy	9s
governance / JS runtimes — environment provisions Bun first	21s
governance / Security policy checks	4s
governance / Workflow security linter	20s
governance / Licence consistency	7s
governance / Allowlist Preflight	8s
governance / Debt ratchet	6s
governance / Trusted-base reduction policy	7s
governance / Well-Known (RFC 9116 + RSR)	6s
governance / Guix packaging policy (Nix retired)	8s
governance / Code quality + docs	8s
governance / Actions lockfile verify	7s
governance / Exemption ratchet	6s
governance / Live Actions policy (credentialed advisory)	6s
governance / Validate Hypatia Baseline	4s
	2m 50s