ci: wire the formal/ Coq proof gate into CI (Refs #513) #125
hyperpolymathgovernance-baseline.yml
on: pull_request
governance
/
Validate Hypatia baseline
4s
Annotations
1 notice
|
governance / Validate Hypatia baseline
No .hypatia-baseline.json present — nothing to validate.
|