docs(ci): document rocq-proofs gating rationale + plan (refs #169)#170
Closed
avrabe wants to merge 1 commit into
Closed
docs(ci): document rocq-proofs gating rationale + plan (refs #169)#170avrabe wants to merge 1 commit into
avrabe wants to merge 1 commit into
