diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml index fb51eda..d062c21 100644 --- a/.github/workflows/rust.yml +++ b/.github/workflows/rust.yml @@ -63,6 +63,19 @@ jobs: - run: cargo clippy --all-features -- -D warnings - run: cargo clippy --no-default-features -- -D warnings + miri: + name: Miri + runs-on: ubuntu-latest + env: + # Needed since the tests interact with the filesystem + MIRIFLAGS: "-Zmiri-disable-isolation" + steps: + - uses: actions/checkout@v4 + - uses: dtolnay/rust-toolchain@nightly + with: + components: miri + - run: cargo miri test --all-features + doc: name: Build documentation runs-on: ubuntu-latest