diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 6580817..2f4c906 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -38,7 +38,7 @@ jobs: - uses: dtolnay/rust-toolchain@miri - run: cargo miri test env: - MIRIFLAGS: -Zmiri-tag-raw-pointers + MIRIFLAGS: -Zmiri-strict-provenance clippy: name: Clippy