Test Miri on CI

rust-lang · Oct 12, 2020 · 7ca44e7 · 7ca44e7
1 parent 4b8715e
commit 7ca44e7
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -47,7 +47,7 @@ jobs:
       with:
         submodules: true
     - name: Install Rust (rustup)
-      run: rustup update ${{ matrix.rust }} --no-self-update && rustup default ${{ matrix.rust }}
+      run: rustup update ${{ matrix.rust }} --no-self-update && rustup default ${{ matrix.rust }} && rustup component add miri
       shell: bash
     # full fidelity of backtraces on 32-bit msvc requires frame pointers, so
     # enable that for our tests
@@ -83,6 +83,7 @@ jobs:
     - run: RUSTFLAGS="-C link-arg=-Wl,--compress-debug-sections=zlib-gnu" cargo test --features gimli-symbolize
       if: contains(matrix.os, 'ubuntu')
     - run: cargo build --manifest-path crates/as-if-std/Cargo.toml
+    - run: MIRIFLAGS="-Zmiri-disable-isolation" cargo miri test
 
   windows_arm64:
     name: Windows AArch64