Skip to content

Commit ce4351d

Browse files
Merge pull request #140 from egraphs-good/update-rust-toolchain
Update rust toolchain file to new toml syntax
2 parents ead1f81 + 8caac8b commit ce4351d

File tree

2 files changed

+2
-1
lines changed

2 files changed

+2
-1
lines changed

rust-toolchain

Lines changed: 0 additions & 1 deletion
This file was deleted.

rust-toolchain.toml

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
[toolchain]
2+
channel = "1.71.1"

0 commit comments

Comments
 (0)