From 5ea59356dc9379a08dff5bf3df3c5016df2ca7f3 Mon Sep 17 00:00:00 2001 From: Jon Gjengset Date: Sun, 12 Mar 2023 09:40:09 -0700 Subject: [PATCH] Remove -Zmiri-tag-raw-pointers as it's now default --- .github/workflows/safety.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/safety.yml b/.github/workflows/safety.yml index 4fa7ad7..edf40e5 100644 --- 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: