Repository navigation
fix(proofs): census reads logical roots from _CoqProject; restore FilesystemCNO.lean pending #167 #47
Triggered via pull request
September 30, 2026 15:59
coderabbitai[bot]
Status
Cancelled
Total duration
1m 49s
Artifacts
–
proofs.yml
on: pull_request
Coq — CNO + OND (14 theories)
19s
Agda — CNO + OND
1m 31s
Z3 — CNO + OND bounded checks
17s
Lean — core CNO (6 modules + axiom audit)
14s
Annotations
5 errors
|
Coq — CNO + OND (14 theories)
Canceling since a higher priority waiting request for proofs-refs/pull/177/merge exists
|
|
Z3 — CNO + OND bounded checks
Canceling since a higher priority waiting request for proofs-refs/pull/177/merge exists
|
|
Proofs
Canceling since a higher priority waiting request for proofs-refs/pull/177/merge exists
|
|
Agda — CNO + OND
Canceling since a higher priority waiting request for proofs-refs/pull/177/merge exists
|
|
Agda — CNO + OND
The operation was canceled.
|