scratch: exercise the generated Rust proof gate on a runner (do not merge) #393

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

Navigation Menu