Skip to content
Hypatia Security Scan

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

Sign in to view logs

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

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

Triggered via pull request July 28, 2026 18:28
@hyperpolymathhyperpolymath
synchronize #709
ci/coq-proof-gate
Status Success
Total duration 59s
Artifacts –

hypatia-scan.yml

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