Skip to content
Governance

proof(ordinal): head-Ω-strict-or-eq — joint-bplus umbrella case-split #337

Sign in to view logs

proof(ordinal): head-Ω-strict-or-eq — joint-bplus umbrella case-split

proof(ordinal): head-Ω-strict-or-eq — joint-bplus umbrella case-split #337

Run time

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