diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 9c17362..6cecbcf 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -45,6 +45,18 @@ jobs: components: rustfmt - run: cargo fmt --all --check + miri: + name: Miri + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v4 + - uses: dtolnay/rust-toolchain@nightly + with: + components: miri + - run: cargo miri setup + - run: cargo miri test --features alloc,mmio,pci,zerocopy + - run: cargo miri test --all-features + test: name: Test runs-on: ubuntu-latest