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