Add cargo mbt alias

informalsystems · Dec 1, 2023 · c42b18f · c42b18f
1 parent 7b22397
commit c42b18f
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/Code/.cargo/config.toml b/Code/.cargo/config.toml
@@ -0,0 +1,2 @@
+[alias]
+mbt = "nextest run -p malachite-itf --all-features"