ci: Fix miri tests (#894)

Signed-off-by: Nico Wagner <[email protected]>
deutsche-nationalbibliothek · Dec 23, 2024 · 40f9cbc · 40f9cbc
1 parent bcfd7a4
commit 40f9cbc
Showing 1 changed file with 7 additions and 5 deletions.
diff --git a/.github/workflows/daily.yml b/.github/workflows/daily.yml
@@ -1,8 +1,9 @@
 name: Daily
 
 on:
+  workflow_dispatch:
   schedule:
-    - cron: '23 4 * * *'
+    - cron: '10 10  * * *'
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}
@@ -105,12 +106,13 @@ jobs:
       - uses: actions/checkout@v4
       - uses: dtolnay/rust-toolchain@miri
       - uses: Swatinem/rust-cache@v2
-      - run: cargo miri test --workspace --lib
+      - uses: taiki-e/install-action@nextest
+      - run: cargo miri nextest run --workspace --lib --all-features --profile ci
         env:
-          MIRIFLAGS: -Zmiri-strict-provenance
-      - run: cargo miri test --workspace --doc
+          MIRIFLAGS: -Zmiri-strict-provenance -Zmiri-disable-isolation
+      - run: cargo miri test --workspace --doc --all-features
         env:
-          MIRIFLAGS: -Zmiri-strict-provenance
+          MIRIFLAGS: -Zmiri-strict-provenance -Zmiri-disable-isolation
 
   deny:
     runs-on: ubuntu-latest