Repository navigation

chore(agda): bump absolute-zero pin 3ff5cee7 -> f486c299 (Proofs green on main) #621

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