Disable miri isolation (#836)

Signed-off-by: Nico Wagner <[email protected]>
deutsche-nationalbibliothek · Sep 21, 2024 · 43e59b7 · 43e59b7
1 parent 0538b89
commit 43e59b7
Showing 1 changed file with 14 additions and 17 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -16,6 +16,7 @@ permissions:
 env:
   RUSTUP_MAX_RETRIES: 10
   CARGO_INCREMENTAL: 0
+  RUST_BACKTRACE: 1
 
 jobs:
   check:
@@ -189,27 +190,24 @@ jobs:
       - run: cargo update
       - run: cargo outdated --workspace --exit-code 1
 
-  miri-lib:
+  miri:
     if: ${{ github.ref == 'refs/heads/main' }}
-    name: miri (lib)
+    name: "miri ${{ matrix.item.name }}"
     runs-on: ubuntu-latest
-    needs: test
-    steps:
-      - uses: actions/checkout@v4
-      - uses: dtolnay/rust-toolchain@miri
-      - uses: Swatinem/rust-cache@v2
-      - run: cargo miri test -p pica-record --lib --verbose
-
-  miri-doc:
-    if: ${{ github.ref == 'refs/heads/main' }}
-    name: miri (doc)
-    runs-on: ubuntu-latest
-    needs: test
+    needs: check
+    strategy:
+      matrix:
+        item:
+          - { name: "pica-record (lib)", package: "pica-record", flags: "--lib" }
+          - { name: "pica-record (doc)", package: "pica-record", flags: "--doc" }
+    env:
+      MIRIFLAGS: -Zmiri-disable-isolation
     steps:
       - uses: actions/checkout@v4
       - uses: dtolnay/rust-toolchain@miri
       - uses: Swatinem/rust-cache@v2
-      - run: cargo miri test -p pica-record --doc --verbose
+      - run: |
+          cargo miri test -p ${{ matrix.item.package }} ${{ matrix.item.flags }}
 
   docs:
     runs-on: ubuntu-latest
@@ -224,8 +222,7 @@ jobs:
       - deny
       - fmt
       - fuzz
-      - miri-lib
-      - miri-doc
+      - miri
       - outdated
       - test
       - udeps