Skip to content

ci: fix Rocq Formal Proofs — bump rules_rocq_rust to hermetic toolchain#139

Closed
avrabe wants to merge 1 commit into
mainfrom
chore/bump-rules-rocq-rust-hermetic-toolchain
Closed

ci: fix Rocq Formal Proofs — bump rules_rocq_rust to hermetic toolchain#139
avrabe wants to merge 1 commit into
mainfrom
chore/bump-rules-rocq-rust-hermetic-toolchain

ci: bump rules_rocq_rust pin to hermetic-toolchain fix

f4dfbb5
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar