From f682f9dbc8e0e4a6e68d92b0036166e06ed7d861 Mon Sep 17 00:00:00 2001
From: Andy Leiserson <aleiserson@mozilla.com>
Date: Fri, 15 Mar 2024 15:00:00 -0700
Subject: [PATCH] Pin nightly for miri checks

---
 .github/workflows/check.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml
index 195ad733f..0406d6c0e 100644
--- 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