From 10fcc8bec6fd66c723df167445974e7fb785254f Mon Sep 17 00:00:00 2001
From: Joseph Perez <joperez@hotmail.fr>
Date: Fri, 12 Jul 2024 09:34:48 +0200
Subject: [PATCH] ci: fix miri arguments

---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index ade870a..5da5569 100644
--- 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: