ci: Run miri without cargo hack (#103)

This saves a lot of time and extra work.
linebender · Dec 18, 2024 · 9fde567 · 9fde567
1 parent e7ee2d9
commit 9fde567
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -293,7 +293,7 @@ jobs:
           save-if: ${{ github.event_name != 'merge_group' }}
 
       - name: cargo miri
-        run: cargo hack miri test --locked --target s390x-unknown-linux-gnu --optional-deps --each-feature --ignore-unknown-features --features std
+        run: cargo miri test --workspace --locked --all-features --target s390x-unknown-linux-gnu --no-fail-fast
 
   doc:
     name: cargo doc