Run miri in stricter miri-strict-provenance mode

dtolnay · May 14, 2024 · 87b668a · 87b668a
1 parent 34be203
commit 87b668a
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -88,3 +88,5 @@ jobs:
       - uses: dtolnay/rust-toolchain@miri
       - run: cargo miri setup
       - run: cargo miri test
+        env:
+          MIRIFLAGS: -Zmiri-strict-provenance