Skip to content

Commit 19c6636

Browse files
clubby789tormol
authored andcommitted
Add Miri to GitHub CI
1 parent d61f70f commit 19c6636

File tree

1 file changed

+10
-0
lines changed

1 file changed

+10
-0
lines changed

.github/workflows/ci.yml

+10
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)