Skip to content

Commit 8e794fc

Browse files
committed
Add a miri test job in CI
1 parent da22bfc commit 8e794fc

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
@@ -78,6 +78,16 @@ jobs:
7878
- run: cargo clippy --tests -- -Dclippy::all -Dclippy::pedantic
7979
- run: cargo clippy --tests --all-features -- -Dclippy::all -Dclippy::pedantic
8080

81+
miri:
82+
name: Miri
83+
runs-on: ubuntu-latest
84+
steps:
85+
- uses: actions/checkout@v3
86+
- uses: dtolnay/rust-toolchain@miri
87+
- run: cargo miri test
88+
env:
89+
MIRIFLAGS: -Zmiri-tag-raw-pointers
90+
8191
outdated:
8292
name: Outdated
8393
runs-on: ubuntu-latest

0 commit comments

Comments
 (0)