diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
index 9d9624c..0f25fe4 100644
--- a/.github/workflows/rust.yml
+++ b/.github/workflows/rust.yml
@@ -130,7 +130,7 @@ jobs:
     runs-on: ubuntu-latest
     env:
       RUSTFLAGS: "-Zrandomize-layout"
-      MIRIFLAGS: "-Zmiri-symbolic-alignment-check -Zmiri-check-number-validity -Zmiri-tag-raw-pointers"
+      MIRIFLAGS: "-Zmiri-retag-fields"
     steps:
       - uses: actions/checkout@v2
         with: