Repository navigation

chore(lean4): bump toolchain v4.12.0 -> v4.34.1 (P0-3) #327

Job	Run time
governance / Security policy checks	4s
governance / Check Workflow Staleness	6s
governance / Trusted-base reduction policy	7s
governance / Allowlist Preflight	6s
governance / Guix packaging policy (Nix retired)	8s
governance / Live Actions policy (credentialed advisory)	5s
governance / Actions lockfile verify	8s
governance / Language / package anti-pattern policy	10s
governance / Exemption ratchet	11s
governance / Workflow security linter	24s
governance / Well-Known (RFC 9116 + RSR)	3s
governance / Debt ratchet	11s
governance / Licence consistency	5s
governance / Code quality + docs	6s
governance / Validate Hypatia Baseline	4s
	1m 58s