diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index c0bfc81..5dc1bcd 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -35,9 +35,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 env: MIRIFLAGS: '-Zmiri-tag-raw-pointers'