ci: fix miri arguments

wyfo · Jul 12, 2024 · 10fcc8b · 10fcc8b
1 parent 923c2a3
commit 10fcc8b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -22,7 +22,7 @@ jobs:
       - name: install miri
         run: rustup install nightly && rustup +nightly component add miri
       - name: miri
-        run: cargo +nightly miri test --all-features --all-seeds
+        run: cargo +nightly miri test --all-features --many-seeds
       - name: loom
         run: cargo test --release --lib
         env: