From 29e077a17ab5d430be1e9d99212807b130fb47a3 Mon Sep 17 00:00:00 2001 From: Jiayu Liu Date: Wed, 27 Oct 2021 22:12:10 +0800 Subject: [PATCH] bump .github/workflows/miri.yaml --- .github/workflows/miri.yaml | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) 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