Merge pull request #157 from artichoke/lopopolo/miri-strict-provenance

Run Miri tests under strict provenance and randomize layout
artichoke · Apr 23, 2022 · 36443b3 · 36443b3
2 parents da13144 + be76472
commit 36443b3
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/miri.yaml b/.github/workflows/miri.yaml
@@ -15,6 +15,7 @@ jobs:
     runs-on: ubuntu-latest
     env:
       RUST_BACKTRACE: 1
+      MIRIFLAGS: "-Zmiri-strict-provenance -Zmiri-symbolic-alignment-check -Zrandomize-layout"
 
     steps:
       - name: Checkout repository