Skip to content

Feat/prepare 9.2.0 - #535

Open
Justme0606 wants to merge 7 commits into
rocq-prover:mainfrom
Justme0606:feat/prepare-9.2.0
Open

Feat/prepare 9.2.0#535
Justme0606 wants to merge 7 commits into
rocq-prover:mainfrom
Justme0606:feat/prepare-9.2.0

fix smoke test for macOs

15f45f5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view