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 Dec 11, 2021
1 parent aaaf125 commit 52eec5e
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 @@ -67,6 +67,16 @@ jobs:
- uses: dtolnay/rust-toolchain@1.36.0
- run: cargo check --manifest-path tests/crate/Cargo.toml --no-default-features --features alloc

miri:
name: Miri
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- uses: dtolnay/rust-toolchain@nightly
with:
components: miri
- run: cargo miri test

clippy:
name: Clippy
runs-on: ubuntu-latest
Expand Down

0 comments on commit 52eec5e

Please sign in to comment.