Use old-style rust-toolchain

informalsystems · Jul 2, 2024 · 52392c8 · 52392c8
1 parent 84df58c
commit 52392c8
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 4 deletions.
diff --git a/rust-toolchain b/rust-toolchain
@@ -1,2 +1 @@
-[toolchain]
-channel = "1.78.0"
+1.78.0
diff --git a/rust-toolchain.toml b/rust-toolchain.toml