From b3e93fc242cb08f3f18a295a574fdbb360ae1863 Mon Sep 17 00:00:00 2001 From: Folkert de Vries Date: Mon, 26 Jan 2026 21:58:18 +0100 Subject: [PATCH 1/2] use `cargo miri nextest` to parallelize miri tests --- .github/workflows/ci.yml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 96881687af05..05020108b5b7 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -244,5 +244,7 @@ jobs: PROPTEST_CASES: 16 steps: - uses: actions/checkout@v4 + - name: Install cargo-nextest + run: cargo install cargo-nextest --locked - name: Test (Miri) - run: cargo miri test + run: cargo miri nextest run -j4 From 808d349fff4a32e22b8bae3df7aec4d9e38ce30a Mon Sep 17 00:00:00 2001 From: Folkert de Vries Date: Tue, 27 Jan 2026 00:18:16 +0100 Subject: [PATCH 2/2] experiment with cargo nextest partitions --- .github/workflows/ci.yml | 13 ++++++++++--- 1 file changed, 10 insertions(+), 3 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 05020108b5b7..de7efa355283 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -240,11 +240,18 @@ jobs: miri: runs-on: ubuntu-latest + strategy: + fail-fast: false + matrix: + shard: [1, 2, 3, 4] env: PROPTEST_CASES: 16 steps: - uses: actions/checkout@v4 + - name: Install cargo-nextest - run: cargo install cargo-nextest --locked - - name: Test (Miri) - run: cargo miri nextest run -j4 + uses: taiki-e/install-action@nextest + + - name: Test (Miri) (partition ${{ matrix.shard }}/4) + run: | + cargo miri nextest run --partition count:${{ matrix.shard }}/4