Pin nightly for miri checks

private-attribution · Mar 15, 2024 · 05489be · 05489be
1 parent cc5d71c
commit 05489be
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml
@@ -174,7 +174,8 @@ jobs:
     steps:
     - uses: actions/checkout@v4
     - uses: ./.github/actions/rm
-    - uses: dtolnay/rust-toolchain@nightly
+    # More recent nightlies don't work, probably https://github.com/rust-lang/rust/issues/122399
+    - uses: dtolnay/rust-toolchain@nightly-2024-03-11
     - name: Add Miri
       run: rustup component add miri
     - name: Setup Miri