From be620e913d152be1bc52cf3d0bed025860f92b4b Mon Sep 17 00:00:00 2001 From: Noah Kennedy Date: Mon, 11 Jul 2022 21:14:27 -0500 Subject: [PATCH] chore: fix ci by hard-coding nightly version for miri (#4825) 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 c90c63579..78bdfbc7e 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