diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index f2cc1980c2..63001cb48d 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -114,7 +114,7 @@ jobs: - uses: dtolnay/rust-toolchain@miri - run: cargo miri test --all-features env: - MIRIFLAGS: -Zmiri-tag-raw-pointers + MIRIFLAGS: -Zmiri-strict-provenance clippy: name: Clippy