proof(coq): discharge eval_respects_state_eq_{left,right} via deletio… #30
hyperpolymathgovernance.yml
on: push
governance
/
...
/
package anti-pattern policy
37s
governance
/
...
/
Nix fallback policy
37s
governance
/
Security policy checks
37s
governance
/
Code quality + docs
37s
governance
/
Well-Known (RFC 9116 + RSR)
37s
governance
/
Workflow security linter
37s
Annotations
8 errors
|
governance / Language / package anti-pattern 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 / Guix primary / Nix fallback policy
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 / Code quality + docs
Canceling since a higher priority waiting request for Governance-refs/heads/main exists
|
|
governance / Well-Known (RFC 9116 + RSR)
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
|