chore: set MIRIFLAGS to -Zmiri-disable-isolation -Zmiri-retag-fields

salsa-rs · Nov 25, 2024 · 3b7246b · 3b7246b
1 parent e4d36da
commit 3b7246b
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -85,6 +85,8 @@ jobs:
         run: cargo miri setup
       - name: Test with Miri
         run: cargo miri test --no-fail-fast --all-features
+        env:
+          MIRIFLAGS: -Zmiri-disable-isolation -Zmiri-retag-fields
       - name: Run examples with Miri
         run: |
           cargo miri run --example calc