From b3e93fc242cb08f3f18a295a574fdbb360ae1863 Mon Sep 17 00:00:00 2001
From: Folkert de Vries <folkert@folkertdev.nl>
Date: Mon, 26 Jan 2026 21:58:18 +0100
Subject: [PATCH] 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