Merge pull request #975 from andyleiserson/nightly

Pin nightly for miri checks
private-attribution · Mar 15, 2024 · d574a7c · d574a7c
2 parents 4089860 + f682f9d
commit d574a7c
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml
@@ -175,6 +175,9 @@ jobs:
     - uses: actions/checkout@v4
     - uses: ./.github/actions/rm
     - uses: dtolnay/rust-toolchain@nightly
+      with:
+        # More recent nightlies don't work, probably https://github.com/rust-lang/rust/issues/122399
+        toolchain: nightly-2024-03-11
     - name: Add Miri
       run: rustup component add miri
     - name: Setup Miri