From dab8735dddcec49ff8dff34e11d8aeb9a46dd992 Mon Sep 17 00:00:00 2001 From: noah Date: Mon, 11 Jul 2022 20:41:54 -0500 Subject: [PATCH] chore: fix ci by hard-coding nightly version for miri It would seem that the latest nightly is having issues, so I went with the one from yesterday (2022-7-10). --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index c90c6357996..78bdfbc7e9b 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -195,7 +195,7 @@ jobs: - name: Install Rust ${{ env.rust_nightly }} uses: actions-rs/toolchain@v1 with: - toolchain: ${{ env.rust_nightly }} + toolchain: nightly-2022-07-10 components: miri override: true - uses: Swatinem/rust-cache@v1