proof(ordinal): head-Ω-strict-or-eq — joint-bplus umbrella case-split #337
hyperpolymathgovernance.yml
on: pull_request
governance
/
Validate Hypatia baseline
4s
governance
/
...
/
package anti-pattern policy
38s
governance
/
...
/
Nix fallback policy
4s
governance
/
Security policy checks
7s
governance
/
Code quality + docs
40s
governance
/
Well-Known (RFC 9116 + RSR)
4s
governance
/
Workflow security linter
37s
governance
/
Trusted-base reduction policy
7s
governance
/
Licence consistency
8s
Annotations
12 errors, 2 warnings, and 1 notice
|
governance / Language / package anti-pattern policy
The process '/usr/bin/git' failed with exit code 128
|
|
governance / Language / package anti-pattern policy
couldn't find remote ref refs/pull/199/merge
|
|
governance / Language / package anti-pattern policy
couldn't find remote ref refs/pull/199/merge
|
|
governance / Language / package anti-pattern policy
couldn't find remote ref refs/pull/199/merge
|
|
governance / Code quality + docs
The process '/usr/bin/git' failed with exit code 128
|
|
governance / Code quality + docs
couldn't find remote ref refs/pull/199/merge
|
|
governance / Code quality + docs
couldn't find remote ref refs/pull/199/merge
|
|
governance / Code quality + docs
couldn't find remote ref refs/pull/199/merge
|
|
governance / Workflow security linter
The process '/usr/bin/git' failed with exit code 128
|
|
governance / Workflow security linter
couldn't find remote ref refs/pull/199/merge
|
|
governance / Workflow security linter
couldn't find remote ref refs/pull/199/merge
|
|
governance / Workflow security linter
couldn't find remote ref refs/pull/199/merge
|
|
governance / Well-Known (RFC 9116 + RSR)
Missing RSR recommended files: security.txt ai.txt humans.txt
|
|
governance / Well-Known (RFC 9116 + RSR)
No security.txt found.
|
|
governance / Validate Hypatia baseline
No .hypatia-baseline.json — language-policy gate will treat every banned-language file as new.
|