bump .github/workflows/miri.yaml (#875)

apache · Oct 27, 2021 · 1f07735 · 1f07735
1 parent 05eb63f
commit 1f07735
Showing 1 changed file with 2 additions and 3 deletions.
diff --git 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