From 918b809ed0e0c6837975b0f766c1351fbaaca1d1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Drago=C8=99=20Tiselice?= Date: Fri, 13 Sep 2024 14:31:02 +0300 Subject: [PATCH] Added more seeds to one miri test. --- .github/workflows/ci.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index c4fb1e6..f028b62 100644 --- 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