diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml index 564284e..8abac7e 100644 --- a/.github/workflows/rust.yml +++ b/.github/workflows/rust.yml @@ -64,6 +64,8 @@ jobs: miri-test: name: Test with miri runs-on: ubuntu-latest + env: + MIRIFLAGS: -Zmiri-tag-raw-pointers steps: - uses: hecrj/setup-rust-action@v1 with: