Run Miri on CI
This commit is contained in:
parent
eb7cf73e01
commit
9e3d257098
|
@ -59,6 +59,17 @@ jobs:
|
||||||
run: rustup update stable
|
run: rustup update stable
|
||||||
- run: cargo fmt --all --check
|
- run: cargo fmt --all --check
|
||||||
|
|
||||||
|
miri:
|
||||||
|
runs-on: ubuntu-latest
|
||||||
|
steps:
|
||||||
|
- uses: actions/checkout@v3
|
||||||
|
- name: Install Rust
|
||||||
|
run: rustup toolchain install nightly --component miri && rustup default nightly
|
||||||
|
- run: cargo miri test
|
||||||
|
env:
|
||||||
|
MIRIFLAGS: -Zmiri-strict-provenance -Zmiri-symbolic-alignment-check -Zmiri-disable-isolation
|
||||||
|
RUSTFLAGS: ${{ env.RUSTFLAGS }} -Z randomize-layout
|
||||||
|
|
||||||
security_audit:
|
security_audit:
|
||||||
runs-on: ubuntu-latest
|
runs-on: ubuntu-latest
|
||||||
steps:
|
steps:
|
||||||
|
|
Loading…
Reference in New Issue