Skip to content

Commit

Permalink
Add a miri test job in CI
Browse files Browse the repository at this point in the history
  • Loading branch information
dtolnay committed Apr 29, 2022
1 parent 244edc8 commit 2a29fda
Showing 1 changed file with 10 additions and 0 deletions.
10 changes: 10 additions & 0 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -46,6 +46,16 @@ jobs:
- uses: dtolnay/rust-toolchain@clippy
- run: cargo clippy --tests -- -Dclippy::all -Dclippy::pedantic

miri:
name: Miri
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: dtolnay/rust-toolchain@miri
- run: cargo miri test
env:
MIRIFLAGS: -Zmiri-tag-raw-pointers

outdated:
name: Outdated
runs-on: ubuntu-latest
Expand Down

0 comments on commit 2a29fda

Please sign in to comment.