run Miri tests on CI
This commit is contained in:
parent
53fe1a329a
commit
0d6e714830
1 changed files with 12 additions and 0 deletions
12
.github/workflows/ci.yml
vendored
12
.github/workflows/ci.yml
vendored
|
|
@ -273,3 +273,15 @@ jobs:
|
|||
run: |
|
||||
echo "Found AVX features: $CPU_FEATURE"
|
||||
RUSTFLAGS="-Dwarnings -Ctarget-feature=$CPU_FEATURE" cargo test --all-targets --no-default-features ${{ matrix.features }}
|
||||
|
||||
miri:
|
||||
runs-on: ubuntu-latest
|
||||
steps:
|
||||
- uses: actions/checkout@v2
|
||||
- name: Setup Rust
|
||||
run: |
|
||||
rustup update nightly --no-self-update
|
||||
rustup default nightly
|
||||
rustup component add miri rust-src
|
||||
- name: Test (Miri)
|
||||
run: cargo miri test
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue