From 7ca44e705dfeeeb0314ace82cd9dc230acd95775 Mon Sep 17 00:00:00 2001
From: Aaron Hill <aa1ronham@gmail.com>
Date: Sun, 11 Oct 2020 21:55:16 -0400
Subject: [PATCH] Test Miri on CI

---
 .github/workflows/main.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 64abfdb19..3277755dc 100644
--- 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