Track raw pointers in miri CI run

serde-rs · Dec 11, 2021 · b66b0eb · b66b0eb
1 parent 52eec5e
commit b66b0eb
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -76,6 +76,8 @@ jobs:
         with:
           components: miri
       - run: cargo miri test
+        env:
+          MIRIFLAGS: "-Zmiri-tag-raw-pointers"
 
   clippy:
     name: Clippy