diff --git a/.github/workflows/miri.yaml b/.github/workflows/miri.yaml index 136b0e136008..30826f30f3eb 100644 --- a/.github/workflows/miri.yaml +++ b/.github/workflows/miri.yaml @@ -23,14 +23,13 @@ on: pull_request: jobs: - miri-checks: name: MIRI runs-on: ubuntu-latest strategy: matrix: arch: [amd64] - rust: [nightly-2021-07-04] + rust: [nightly-2021-10-23] steps: - uses: actions/checkout@v2 with: @@ -50,7 +49,7 @@ jobs: - name: Run Miri Checks env: RUST_BACKTRACE: full - RUST_LOG: 'trace' + RUST_LOG: "trace" run: | export MIRIFLAGS="-Zmiri-disable-isolation" cargo miri setup