ci: fix Rocq Formal Proofs — bump rules_rocq_rust to hermetic toolchain#139
Open
avrabe wants to merge 1 commit into
Open
ci: fix Rocq Formal Proofs — bump rules_rocq_rust to hermetic toolchain#139avrabe wants to merge 1 commit into
avrabe wants to merge 1 commit into
