ci: wire the formal/ Coq proof gate into CI (Refs #513) #1386
hyperpolymathhypatia-scan.yml
on: pull_request
hypatia
/
Hypatia Neurosymbolic Analysis
51s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
hypatia-scan-findings
|
2.35 KB |
sha256:e4b313f33eb29e1b9ae4a841896b45efb478f5e935f7cf2efa24e31d93e8388b
|
|