Add to CI

EricLBuehler · Oct 22, 2023 · ed6396c · ed6396c
1 parent 67772b3
commit ed6396c
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -46,6 +46,15 @@ jobs:
  run: MIRIFLAGS="-Zmiri-symbolic-alignment-check" cargo +nightly miri test --features dyn_unstable
  - name: Miri with tree borrows (dyn_unstable)
  run: MIRIFLAGS="-Zmiri-tree-borrows" cargo +nightly miri test --features dyn_unstable
+
+ - name: Test with Miri (immortals)
+ run: cargo +nightly miri test --features immortals
+ - name: Miri with strict provenance (immortals)
+ run: MIRIFLAGS="-Zmiri-strict-provenance" cargo +nightly miri test --features immortals
+ - name: Miri with symbolic alignment check (immortals)
+ run: MIRIFLAGS="-Zmiri-symbolic-alignment-check" cargo +nightly miri test --features immortals
+ - name: Miri with tree borrows (immortals)
+ run: MIRIFLAGS="-Zmiri-tree-borrows" cargo +nightly miri test --features immortals
 
  typos:
  runs-on: ubuntu-latest