From 09e972fd80fc521761cc2875b3c1b74d4c35f18b Mon Sep 17 00:00:00 2001 From: Taiki Endo Date: Thu, 16 Jun 2022 23:36:16 +0900 Subject: [PATCH] Pin nightly toolchain for Miri --- .github/workflows/ci.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 48e767da5..824506d21 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -160,8 +160,9 @@ jobs: runs-on: ubuntu-latest steps: - uses: actions/checkout@v3 + # TODO: unpin nightly toolchain once https://github.com/rust-lang/miri/issues/2223 fixed. - name: Install Rust - run: rustup toolchain install nightly --component miri && rustup default nightly + run: rustup toolchain install nightly-2022-06-08 --component miri && rustup default nightly-2022-06-08 - name: miri run: ./ci/miri.sh