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 · c01d595 · c01d595
1 parent a101f65
commit c01d595
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -54,8 +54,6 @@ jobs:
       - name: miri
         if: matrix.toolchain == 'nightly'
         run: bash ./scripts/run_miri.sh
-        env:
-          MIRIFLAGS: '-Zmiri-tag-raw-pointers'
 
       - name: fuzz
         if: matrix.fuzz == 1