From ce0335b5fb0e9380e0b8c98e5436617779108853 Mon Sep 17 00:00:00 2001 From: David Tolnay Date: Sun, 24 Apr 2022 15:45:19 -0700 Subject: [PATCH] Pull miri from miri branch of dtolnay/rust-toolchain --- .github/workflows/ci.yml | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 651ee221b2..f4a1ad281c 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -111,9 +111,7 @@ jobs: runs-on: ubuntu-latest steps: - uses: actions/checkout@v2 - - uses: dtolnay/rust-toolchain@nightly - with: - components: miri + - uses: dtolnay/rust-toolchain@miri - run: cargo miri test --all-features clippy: