Skip to content

Commit 6bf8e48

Browse files
committed
ci: run Miri
1 parent 5fa844e commit 6bf8e48

File tree

1 file changed

+12
-0
lines changed

1 file changed

+12
-0
lines changed

.github/workflows/ci.yml

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -45,6 +45,18 @@ jobs:
4545
components: rustfmt
4646
- run: cargo fmt --all --check
4747

48+
miri:
49+
name: Miri
50+
runs-on: ubuntu-latest
51+
steps:
52+
- uses: actions/checkout@v4
53+
- uses: dtolnay/rust-toolchain@nightly
54+
with:
55+
components: miri
56+
- run: cargo miri setup
57+
- run: cargo miri test --features alloc,mmio,pci,zerocopy
58+
- run: cargo miri test --all-features
59+
4860
test:
4961
name: Test
5062
runs-on: ubuntu-latest

0 commit comments

Comments
 (0)