Skip to content
Hypatia Security Scan

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

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 #377

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

hypatia-scan.yml

on: pull_request
hypatia  /  Hypatia Neurosymbolic Analysis
29s
hypatia / Hypatia Neurosymbolic Analysis
Fit to window
Zoom out
Zoom in

Annotations

3 errors
hypatia / Hypatia Neurosymbolic Analysis
Canceling since a higher priority waiting request for Hypatia Security Scan-refs/pull/177/merge exists
Hypatia Security Scan
Canceling since a higher priority waiting request for Hypatia Security Scan-refs/pull/177/merge exists
Hypatia Security Scan
Canceling since a higher priority waiting request for Hypatia Security Scan-refs/pull/177/merge exists