Stop passing tag-raw-ptrs to MIRIFLAGS

For a while it has been a do-nothing option that has finally been removed.
servo · Mar 20, 2024 · 3057362 · 3057362
1 parent f6665a5
commit 3057362
Showing 1 changed file with 0 additions and 2 deletions.
diff --git 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