proofs(Layer 1.0): close slash-slash inductive case via mutual recurs… #196
hyperpolymathgovernance.yml
on: push
governance
/
Validate Hypatia baseline
6s
governance
/
...
/
package anti-pattern policy
6s
governance
/
...
/
Nix fallback policy
6s
governance
/
Security policy checks
6s
governance
/
Code quality + docs
6s
governance
/
Well-Known (RFC 9116 + RSR)
6s
governance
/
Workflow security linter
6s
governance
/
Trusted-base reduction policy
6s
governance
/
Licence consistency
6s
Annotations
11 errors
|
governance / Well-Known (RFC 9116 + RSR)
Canceling since a higher priority waiting request for Governance-refs/heads/main exists
|
|
governance / Guix primary / Nix fallback policy
Canceling since a higher priority waiting request for Governance-refs/heads/main exists
|
|
governance / Security policy checks
Canceling since a higher priority waiting request for Governance-refs/heads/main exists
|
|
governance / Language / package anti-pattern policy
Canceling since a higher priority waiting request for Governance-refs/heads/main exists
|
|
governance / Trusted-base reduction policy
Canceling since a higher priority waiting request for Governance-refs/heads/main exists
|
|
governance / Code quality + docs
Canceling since a higher priority waiting request for Governance-refs/heads/main exists
|
|
governance / Workflow security linter
Canceling since a higher priority waiting request for Governance-refs/heads/main exists
|
|
governance / Validate Hypatia baseline
Canceling since a higher priority waiting request for Governance-refs/heads/main exists
|
|
governance / Licence consistency
Canceling since a higher priority waiting request for Governance-refs/heads/main exists
|
|
Governance
Canceling since a higher priority waiting request for Governance-refs/heads/main exists
|
|
Governance
Canceling since a higher priority waiting request for Governance-refs/heads/main exists
|