Skip to content
Hypatia Security Scan

ci: wire the formal/ Coq proof gate into CI (Refs #513) (#709) #1387

Sign in to view logs

ci: wire the formal/ Coq proof gate into CI (Refs #513) (#709)

ci: wire the formal/ Coq proof gate into CI (Refs #513) (#709) #1387

Triggered via push July 28, 2026 18:29
@hyperpolymathhyperpolymath
pushed ed4e223
main
Status Success
Total duration 1m 21s
Artifacts 1

hypatia-scan.yml

on: push
hypatia  /  Hypatia Neurosymbolic Analysis
51s
hypatia / Hypatia Neurosymbolic Analysis
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
hypatia-scan-findings
2.35 KB
sha256:208c590192ec8521e1858b1bc0790a2d6d21a3175e900132df9f7dd36fbb3e86