Use the rust-toolchain.toml to require miri

zorp-corp · Jan 11, 2025 · d74723d · d74723d
1 parent 0570dc6
commit d74723d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -31,8 +31,6 @@ jobs:
     #  run: cargo test --no-run
     #- name: Run tests
     #  run: cargo test
-    - name: Ensure Miri is installed
-      run: rustup component add miri
     - name: Build
       run: cargo build
     # Need to fix ibig tests first.

diff --git a/rust-toolchain.toml b/rust-toolchain.toml
@@ -3,4 +3,5 @@
 # If we need to change to nightly please
 # note the reason why in this comment.
 # channel = "1.77.0"
-channel = "nightly-2024-12-01"
+channel = "nightly-2025-01-11"
+components = ["miri"]