Add a miri test job in CI
This commit is contained in:
parent
d1d4554f26
commit
415ab8cf9a
|
@ -44,6 +44,16 @@ jobs:
|
||||||
- uses: dtolnay/rust-toolchain@1.0.0
|
- uses: dtolnay/rust-toolchain@1.0.0
|
||||||
- run: cargo build
|
- run: cargo build
|
||||||
|
|
||||||
|
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:
|
clippy:
|
||||||
name: Clippy
|
name: Clippy
|
||||||
runs-on: ubuntu-latest
|
runs-on: ubuntu-latest
|
||||||
|
|
Loading…
Reference in New Issue