ci: wire the formal/ Coq proof gate into CI (Refs #513) (#709) #694
hyperpolymathscorecard.yml
on: push
analysis
/
Run Scorecard
26s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
scorecard-results
|
2.72 KB |
sha256:91c1f6af974687c13390cca6eaad1daf03bb4cd8e20d8286e65f906525de0a4a
|
|