add rust-toolchain.toml file

input-output-hk · Oct 23, 2023 · b091f9e · b091f9e
1 parent 4db0f7c
commit b091f9e
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/earthly/rust/Earthfile b/earthly/rust/Earthfile
@@ -98,6 +98,3 @@ check:
         cargo kani --version && \
         refinery --version && \
         mold --version
-
-
-
diff --git a/earthly/rust/rust-toolchain.toml b/earthly/rust/rust-toolchain.toml
@@ -0,0 +1,4 @@
+[toolchain]
+channel = "1.71.0"
+profile = "default"
+components = []
Original file line number	Diff line number	Diff line change
Expand Up		@@ -98,6 +98,3 @@ check:
		cargo kani --version && \
		refinery --version && \
		mold --version