Skip to content
Proofs

fix(proofs): census reads logical roots from _CoqProject; restore FilesystemCNO.lean pending #167 #45

Sign in to view logs

fix(proofs): census reads logical roots from _CoqProject; restore FilesystemCNO.lean pending #167

fix(proofs): census reads logical roots from _CoqProject; restore FilesystemCNO.lean pending #167 #45

Triggered via pull request September 30, 2026 15:54
@hyperpolymathhyperpolymath
synchronize #177
fix/176-census-roots-restore-filesystemcno
Status Cancelled
Total duration 31s
Artifacts –

proofs.yml

on: pull_request
Coq — CNO + OND (14 theories)
7s
Coq — CNO + OND (14 theories)
Agda — CNO + OND
7s
Agda — CNO + OND
Z3 — CNO + OND bounded checks
8s
Z3 — CNO + OND bounded checks
Lean — core CNO (6 modules + axiom audit)
7s
Lean — core CNO (6 modules + axiom audit)
Fit to window
Zoom out
Zoom in

Annotations

5 errors
Proofs
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
Agda — CNO + OND
Canceling since a higher priority waiting request for proofs-refs/pull/177/merge exists
Lean — core CNO (6 modules + axiom audit)
Canceling since a higher priority waiting request for proofs-refs/pull/177/merge exists
Coq — CNO + OND (14 theories)
Canceling since a higher priority waiting request for proofs-refs/pull/177/merge exists