user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

use cargo miri nextest to parallelize miri tests

Browse source
This commit is contained in:
Folkert de Vries 2026-01-26 21:58:18 +01:00
parent e3d85fb0ad
commit b3e93fc242
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
1 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
.github/workflows/ci.yml vendored
View file

@ -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