fix(proofs): census reads logical roots from _CoqProject; restore FilesystemCNO.lean pending #167 #317
coderabbitai[bot]governance.yml
on: pull_request
governance
/
Check Workflow Staleness
18s
governance
/
Allowlist Preflight
18s
governance
/
Live Actions policy (credentialed advisory)
18s
governance
/
...
/
package anti-pattern policy
18s
governance
/
Guix packaging policy (Nix retired)
18s
governance
/
Security policy checks
18s
governance
/
Code quality + docs
18s
governance
/
Well-Known (RFC 9116 + RSR)
18s
governance
/
Workflow security linter
18s
governance
/
Actions lockfile verify
18s
governance
/
Trusted-base reduction policy
18s
governance
/
Licence consistency
18s
governance
/
Exemption ratchet
18s
governance
/
Debt ratchet
18s
governance
/
Validate Hypatia Baseline
Annotations
16 errors
|
governance / Check Workflow Staleness
Canceling since a higher priority waiting request for Governance-refs/pull/177/merge exists
|
|
governance / Licence consistency
Canceling since a higher priority waiting request for Governance-refs/pull/177/merge exists
|
|
governance / Security policy checks
Canceling since a higher priority waiting request for Governance-refs/pull/177/merge exists
|
|
governance / Exemption ratchet
Canceling since a higher priority waiting request for Governance-refs/pull/177/merge exists
|
|
governance / Allowlist Preflight
Canceling since a higher priority waiting request for Governance-refs/pull/177/merge exists
|
|
governance / Workflow security linter
Canceling since a higher priority waiting request for Governance-refs/pull/177/merge exists
|
|
governance / Guix packaging policy (Nix retired)
Canceling since a higher priority waiting request for Governance-refs/pull/177/merge exists
|
|
governance / Well-Known (RFC 9116 + RSR)
Canceling since a higher priority waiting request for Governance-refs/pull/177/merge exists
|
|
governance / Debt ratchet
Canceling since a higher priority waiting request for Governance-refs/pull/177/merge exists
|
|
governance / Actions lockfile verify
Canceling since a higher priority waiting request for Governance-refs/pull/177/merge exists
|
|
governance / Trusted-base reduction policy
Canceling since a higher priority waiting request for Governance-refs/pull/177/merge exists
|
|
governance / Code quality + docs
Canceling since a higher priority waiting request for Governance-refs/pull/177/merge exists
|
|
governance / Language / package anti-pattern policy
Canceling since a higher priority waiting request for Governance-refs/pull/177/merge exists
|
|
Governance
Canceling since a higher priority waiting request for Governance-refs/pull/177/merge exists
|
|
Governance
Canceling since a higher priority waiting request for Governance-refs/pull/177/merge exists
|
|
governance / Live Actions policy (credentialed advisory)
Canceling since a higher priority waiting request for Governance-refs/pull/177/merge exists
|