fix(proofs): census reads logical roots from _CoqProject; restore FilesystemCNO.lean pending #167 #44
Triggered via pull request
September 30, 2026 15:32
hyperpolymath
Status
Cancelled
Total duration
22m 51s
Artifacts
–
proofs.yml
on: pull_request
Coq — CNO + OND (14 theories)
1m 23s
Agda — CNO + OND
22m 46s
Z3 — CNO + OND bounded checks
27s
Lean — core CNO (6 modules + axiom audit)
15s
Annotations
3 errors
|
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.
|