From e9eb13e0e75d00bab6c5227aa80e13ec82dd67be Mon Sep 17 00:00:00 2001
From: nils <48135649+Nilstrieb@users.noreply.github.com>
Date: Sun, 26 Jun 2022 18:22:38 +0200
Subject: [PATCH] Use `-Zmiri-tag-raw-pointers in CI (#113)

Normal Miri does not provide sufficient safety guarantees. Using the flag `-Zmiri-tag-raw-pointers` also checks usage of pointers in a more strict way.
---
 .github/workflows/rust.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
index 564284e..8abac7e 100644
--- a/.github/workflows/rust.yml
+++ b/.github/workflows/rust.yml
@@ -64,6 +64,8 @@ jobs:
   miri-test:
     name: Test with miri
     runs-on: ubuntu-latest
+    env:
+      MIRIFLAGS: -Zmiri-tag-raw-pointers
     steps:
     - uses: hecrj/setup-rust-action@v1
       with: