Add rust-toolchain file

informalsystems · Jul 2, 2024 · 84df58c · 84df58c
1 parent e75475c
commit 84df58c
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/rust-toolchain b/rust-toolchain
@@ -0,0 +1,2 @@
+[toolchain]
+channel = "1.78.0"