fix(ci): repair the Coq gate on main — coqc not found #1390
hyperpolymathhypatia-scan.yml
on: pull_request
hypatia
/
Hypatia Neurosymbolic Analysis
1m 0s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
hypatia-scan-findings
|
2.41 KB |
sha256:ff3827ffe2a3e984455a437aae290ba0857f9bea4b33fd781a79fc76de596a77
|
|