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