Remove -Zmiri-tag-raw-pointers as it's now default

HdrHistogram · Mar 12, 2023 · 5ea5935 · 5ea5935
1 parent a076ec1
commit 5ea5935
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/safety.yml b/.github/workflows/safety.yml
@@ -51,7 +51,7 @@ jobs:
       - name: cargo miri test
         run: cargo miri test
         env:
-          MIRIFLAGS: "-Zmiri-tag-raw-pointers"
+          MIRIFLAGS: ""
   loom:
     runs-on: ubuntu-latest
     steps: