Skip to content
Hypatia Security Scan

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

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

Triggered via pull request September 30, 2026 15:59
@coderabbitaicoderabbitai[bot]
synchronize #177
fix/176-census-roots-restore-filesystemcno
Status Cancelled
Total duration 21s
Artifacts –

hypatia-scan.yml

on: pull_request
hypatia  /  Hypatia Neurosymbolic Analysis
17s
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