Run Miri tests under strict provenance and randomize layout

Fixes #156.
artichoke · Apr 23, 2022 · be76472 · be76472
1 parent 8e57ab5
commit be76472
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