Track raw pointers in miri CI run

dtolnay · Nov 28, 2021 · 0d41d0a · 0d41d0a
1 parent 2498e7a
commit 0d41d0a
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -40,6 +40,8 @@ jobs:
         with:
           components: miri
       - run: cargo miri test
+        env:
+          MIRIFLAGS: "-Zmiri-track-raw-pointers"
 
   clippy:
     name: Clippy