Skip to content

Feat/prepare 9.2.0 - #535

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

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

change smoke test for Windows

512fc6c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
define_matrix
succeeded Aug 22, 2026 in 3s