Skip to content

chore: upgrade Rocq 9.0 → 9.1#30

Draft
avrabe wants to merge 2 commits into
mainfrom
chore/rocq-9.1-upgrade
Draft

chore: upgrade Rocq 9.0 → 9.1#30
avrabe wants to merge 2 commits into
mainfrom
chore/rocq-9.1-upgrade

fix: build smpl against matching Rocq version (9.1)

16f6ff2
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar