From be76472dc9fcb94f080cc5c4d165ab62ae10399b Mon Sep 17 00:00:00 2001 From: Ryan Lopopolo Date: Sat, 23 Apr 2022 10:13:27 -0700 Subject: [PATCH] Run Miri tests under strict provenance and randomize layout Fixes #156. --- .github/workflows/miri.yaml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/miri.yaml b/.github/workflows/miri.yaml index d03f8546..826e6fac 100644 --- 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