diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 13c79504..6049236e 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -79,3 +79,19 @@ jobs: - name: Check run: cargo check --target wasm32-unknown-unknown + + miri: + name: Miri + runs-on: ubuntu-latest + + steps: + - name: Checkout + uses: actions/checkout@v3 + + - name: Install Rust + uses: dtolnay/rust-toolchain@nightly + with: + components: miri + + - name: Test + run: MIRIFLAGS="-Zmiri-disable-isolation -Zmiri-ignore-leaks" cargo miri test