Skip to content

build: bump rules_rocq_rust to e4660cc (hermetic rules_rust toolchain)#314

Merged
avrabe merged 1 commit into
mainfrom
build/bump-rules-rocq-rust-e4660cc
May 23, 2026
Merged

build: bump rules_rocq_rust to e4660cc (hermetic rules_rust toolchain)#314
avrabe merged 1 commit into
mainfrom
build/bump-rules-rocq-rust-e4660cc

Commits

Commits on May 23, 2026