Skip to content
Governance

φ₁ is a normal function; next-ε β is the LEAST ε-number above β (BH climb rung 3, slice 3) #456

Sign in to view logs

φ₁ is a normal function; next-ε β is the LEAST ε-number above β (BH climb rung 3, slice 3)

φ₁ is a normal function; next-ε β is the LEAST ε-number above β (BH climb rung 3, slice 3) #456

Run time

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