fix miri

Signed-off-by: Nico Wagner <[email protected]>
deutsche-nationalbibliothek · Sep 21, 2024 · 7f9ae22 · 7f9ae22
1 parent 35f1719
commit 7f9ae22
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -200,8 +200,8 @@ jobs:
       - uses: actions/checkout@v4
       - uses: dtolnay/rust-toolchain@miri
       - uses: Swatinem/rust-cache@v2
-      - run: MIRIFLAGS="-Zmiri-disable-isolation" cargo miri test --lib --verbose
-      - run: MIRIFLAGS="-Zmiri-disable-isolation" cargo miri test --doc --verbose
+      - run: MIRIFLAGS="-Zmiri-disable-isolation" cargo miri test --workspace --lib
+      - run: MIRIFLAGS="-Zmiri-disable-isolation" cargo miri test --workspace --doc
 
   docs:
     runs-on: ubuntu-latest