allow unisolated miri

jauhararifin · Aug 27, 2024 · 5b6f362 · 5b6f362
1 parent ffc0823
commit 5b6f362
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
@@ -24,6 +24,8 @@ jobs:
     - name: Run unit tests
       run: cargo test --lib --verbose
     - name: Run unit tests with miri
+      env:
+        MIRIFLAGS=-Zmiri-disable-isolation
       run: cargo miri test --lib --verbose
     - name: Run basic integration tests
       run: cargo test --test basic_tests --verbose