Add miri to CI

This commit is contained in:
DropDemBits 2023-11-09 17:50:40 -05:00
parent f1d318a279
commit 8eadaf35dc
No known key found for this signature in database
GPG key ID: D550F8DFBB392533

View file

@ -63,3 +63,16 @@ jobs:
with:
command: check
args: --no-default-features
miri:
name: "Miri"
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Install Miri
run: |
rustup toolchain install nightly --component miri
rustup override set nightly
cargo miri setup
- name: Test with Miri
run: cargo miri test --no-fail-fast