diff --git a/.github/workflows/miri.yml b/.github/workflows/miri.yml new file mode 100644 index 0000000..e950403 --- /dev/null +++ b/.github/workflows/miri.yml @@ -0,0 +1,13 @@ +on: [push, pull_request] +name: Miri tests +jobs: + miri: + runs-on: ubuntu-latest + env: + RUSTFLAGS: "-D warnings" + steps: + - uses: actions/checkout@v4 + - uses: dtolnay/rust-toolchain@nightly + + - name: Run miri tests (default features) + run: cargo miri test --all