Skip to content

Update Rocq to 9.2.0#832

Merged
stepchowfun merged 4 commits into
mainfrom
update-rocq-9.2.0
Jul 2, 2026
Merged

Update Rocq to 9.2.0#832
stepchowfun merged 4 commits into
mainfrom
update-rocq-9.2.0

Remove a flag which matches the default behavior

84cab0f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Validate
succeeded Jul 2, 2026 in 19m 31s