Skip to content

Commit 04353fe

Browse files
committed
Add Miri to GitHub CI
1 parent e29eae1 commit 04353fe

File tree

1 file changed

+10
-0
lines changed

1 file changed

+10
-0
lines changed

.github/workflows/ci.yml

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -45,3 +45,13 @@ jobs:
4545
with:
4646
rust-version: nightly
4747
- run: cargo test -Zminimal-versions --verbose --all-features
48+
49+
miri:
50+
name: Run tests under `miri` to check for UB
51+
runs-on: ubuntu-latest
52+
steps:
53+
- uses: actions/checkout@v3
54+
- uses: dtolnay/rust-toolchain@nightly
55+
with:
56+
components: miri
57+
- run: cargo miri test --all-features

0 commit comments

Comments
 (0)