diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index c1c1476..212d367 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -73,6 +73,7 @@ jobs: - run: cargo miri test --workspace --all-features env: MIRIFLAGS: -Zmiri-check-number-validity -Zmiri-symbolic-alignment-check -Zmiri-tag-raw-pointers + RUSTFLAGS: ${{ env.RUSTFLAGS }} -Z randomize-layout tidy: runs-on: ubuntu-latest