diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 74b6ea6..ad106c5 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -75,8 +75,6 @@ jobs: - name: miri if: matrix.toolchain == 'nightly' && matrix.os == 'ubuntu-latest' run: bash ./scripts/run_miri.sh - env: - MIRIFLAGS: '-Zmiri-tag-raw-pointers' - name: fuzz if: matrix.fuzz == 1