Skip to content

Commit 1116ddb

Browse files
authored
Merge pull request #2 from cuviper/miri-nextest
ci: use cargo-nextest with miri
2 parents 3c5c39a + e4c8dfc commit 1116ddb

File tree

1 file changed

+6
-2
lines changed

1 file changed

+6
-2
lines changed

.github/workflows/ci.yml

Lines changed: 6 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -91,8 +91,12 @@ jobs:
9191
- uses: actions/checkout@v4
9292
- uses: dtolnay/rust-toolchain@nightly
9393
with:
94-
components: miri
95-
- run: cargo miri test
94+
components: miri, rust-src
95+
- uses: taiki-e/install-action@v2
96+
with:
97+
tool: cargo-nextest
98+
- run: cargo miri nextest run
99+
- run: cargo miri test --doc
96100

97101
minimal-versions:
98102
name: Check MSRV and minimal-versions

0 commit comments

Comments
 (0)