Added more seeds to one miri test.

dragostis · Sep 13, 2024 · 918b809 · 918b809
1 parent a7162c6
commit 918b809
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -58,3 +58,4 @@ jobs:
       - uses: taiki-e/install-action@nextest
       - run: cargo +nightly miri setup
       - run: cargo +nightly miri nextest run -j8 -E 'not (test(join_very_long))'
+      - run: cargo +nightly miri test --many-seeds=0..16 -- join_wait