Only use msan on doctests. Remove miri for now due to memory overuse

Author: spacejam

.github/workflows/test.yml

@@ -155,31 +155,8 @@ jobs:
       run: |
         set -eo pipefail
         scripts/sanitizers.sh
-  miri:
-    name: Miri doctests
-    env:
-      RUST_BACKTRACE: 1
-    runs-on: ubuntu-latest
-    steps:
-    - uses: actions/checkout@v1
-    - name: Cache rustup
-      uses: actions/cache@v2
-      env:
-        cache-name: cache-miri-target-and-lockfile
-      with:
-        path: |
-          ~/.rustup
-          target
-          Cargo.lock
-        key: ${{ runner.os }}-${{ env.cache-name }}-${{ hashFiles('**/Cargo.toml') }}
-    - name: sanitizers
-      run: |
-        rustup toolchain install nightly
-        rustup component add miri --toolchain nightly-x86_64-unknown-linux-gnu
-        export MIRIFLAGS="-Zmiri-disable-isolation -Zmiri-ignore-leaks -Zmiri-disable-stacked-borrows -Zmiri-disable-validation"
-        yes | cargo +nightly miri test --doc
   msan_tree_tests:
-    name: MSAN tree tests
+    name: MSAN doc tests
     env:
       RUST_BACKTRACE: 1
     runs-on: ubuntu-latest
@@ -201,4 +178,4 @@ jobs:
         rustup component add rust-src --toolchain nightly-x86_64-unknown-linux-gnu
         export RUSTFLAGS="-Zsanitizer=memory -Zsanitizer-memory-track-origins"
         export MSAN_OPTIONS=verbosity=2
-        cargo +nightly test --release -Zbuild-std --target x86_64-unknown-linux-gnu --features=light_testing -- tree
+        cargo +nightly test --doc -Zbuild-std --target x86_64-unknown-linux-gnu --features=light_testing -- --nocapture --test-threads=1