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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
hypatia / Hypatia Neurosymbolic Analysis
29s
29s