ci(miri): miri run in parallel

andrewsonin · Apr 23, 2024 · 4c66bf9 · 4c66bf9
1 parent fe121e0
commit 4c66bf9
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -95,5 +95,7 @@ jobs:
           rustup toolchain install nightly --component miri
           rustup override set nightly
           cargo miri setup
+          cargo install cargo-binstall
+          cargo binstall cargo-nextest --no-confirm --secure
       - name: Run tests with Miri
-        run: cargo miri test --features serde
+        run: cargo miri nextest run --features serde --no-capture