docs: record the Coq proof gate and the 2026-07-29 rescue session #129
hyperpolymathgovernance-baseline.yml
on: pull_request
governance
/
Validate Hypatia baseline
5s
Annotations
1 notice
|
governance / Validate Hypatia baseline
No .hypatia-baseline.json present — nothing to validate.
|