Skip to content

CI: bump rocq version

63c911f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Refactoring: From Coq -> From Stdlib #5

CI: bump rocq version
63c911f
Select commit
Loading
Failed to load commit list.
build (9.0.1, default)
succeeded Mar 6, 2026 in 2m 40s