From 041a4cd67064fe58757d40e5eae204c10d03b683 Mon Sep 17 00:00:00 2001
From: Nilstrieb <48135649+Nilstrieb@users.noreply.github.com>
Date: Sun, 9 Oct 2022 10:57:19 +0200
Subject: [PATCH] new miriflags

---
 .github/workflows/rust.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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: