Skip to content
Governance

proof: well-foundedness of the WfCNF-narrowed _<ᵇᵘⁿ_ #330

Sign in to view logs

proof: well-foundedness of the WfCNF-narrowed _<ᵇᵘⁿ_

proof: well-foundedness of the WfCNF-narrowed _<ᵇᵘⁿ_ #330

Run time

Learn about OS pricing on GitHub Actions
Job Run time
governance / Licence consistency
5s
governance / Workflow security linter
3s
governance / Validate Hypatia baseline
3s
governance / Guix primary / Nix fallback policy
6s
governance / Trusted-base reduction policy
5s
governance / Language / package anti-pattern policy
8s
governance / Security policy checks
4s
governance / Well-Known (RFC 9116 + RSR)
3s
governance / Code quality + docs
14s
51s