Skip to content

Commit 1fcd677

Browse files
committed
Run Miri in CI
1 parent ebd1437 commit 1fcd677

File tree

1 file changed

+17
-0
lines changed

1 file changed

+17
-0
lines changed

.github/workflows/ci.yml

Lines changed: 17 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -63,3 +63,20 @@ jobs:
6363
- run: cargo build
6464

6565
- run: cargo test
66+
67+
miri:
68+
runs-on: ubuntu-latest
69+
strategy:
70+
matrix:
71+
rust:
72+
- nightly
73+
74+
steps:
75+
- uses: actions/checkout@v4
76+
77+
- uses: dtolnay/rust-toolchain@master
78+
with:
79+
toolchain: ${{ matrix.rust }}
80+
components: miri
81+
82+
- run: cargo miri test

0 commit comments

Comments
 (0)