Skip to content

Pin CI sibling checkouts; add rules_rocq_rust to MODULE.bazel

49c27e9
Select commit
Loading
Failed to load commit list.
Merged

Pin CI sibling checkouts; add rules_rocq_rust (e4660cc) #17

Pin CI sibling checkouts; add rules_rocq_rust to MODULE.bazel
49c27e9
Select commit
Loading
Failed to load commit list.