Skip to content

Commit 52eec5e

Browse files
committed
Add a miri test job in CI
1 parent aaaf125 commit 52eec5e

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
@@ -67,6 +67,16 @@ jobs:
6767
- uses: dtolnay/rust-toolchain@1.36.0
6868
- run: cargo check --manifest-path tests/crate/Cargo.toml --no-default-features --features alloc
6969

70+
miri:
71+
name: Miri
72+
runs-on: ubuntu-latest
73+
steps:
74+
- uses: actions/checkout@v2
75+
- uses: dtolnay/rust-toolchain@nightly
76+
with:
77+
components: miri
78+
- run: cargo miri test
79+
7080
clippy:
7181
name: Clippy
7282
runs-on: ubuntu-latest

0 commit comments

Comments
 (0)