From 3921b57435ffa32bab4182b2540dccebd5a3ee3a Mon Sep 17 00:00:00 2001 From: David Tolnay Date: Fri, 6 May 2022 04:01:35 -0700 Subject: [PATCH] Run miri in stricter miri-strict-provenance mode --- .github/workflows/ci.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index bfb4f15a..aa99e778 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -175,7 +175,7 @@ jobs: - uses: dtolnay/rust-toolchain@miri - run: cd serde && cargo miri test --features derive,rc,unstable env: - MIRIFLAGS: -Zmiri-tag-raw-pointers + MIRIFLAGS: -Zmiri-strict-provenance - run: cd test_suite && cargo miri test --features unstable env: - MIRIFLAGS: -Zmiri-tag-raw-pointers + MIRIFLAGS: -Zmiri-strict-provenance