Skip to content

docs(ci): document rocq-proofs gating rationale + plan (refs #169)#170

Open
avrabe wants to merge 1 commit into
mainfrom
docs/169-rocq-gating-rationale
Open

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

docs(ci): document why rocq-proofs is continue-on-error + the gating …

8cc4ae0
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar