Skip to content

chore: bump rocq-of-rust to 877dd65 (Feb 16)#29

Merged
avrabe merged 2 commits into
mainfrom
chore/bump-deps-step3
Apr 3, 2026
Merged

chore: bump rocq-of-rust to 877dd65 (Feb 16)#29
avrabe merged 2 commits into
mainfrom
chore/bump-deps-step3

fix: correct rocq-of-rust commit SHA (full 40-char hash)

80743c6
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar