diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 50fd538..51809c3 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -42,7 +42,7 @@ jobs: components: miri - run: cargo miri test env: - MIRIFLAGS: "-Zmiri-track-raw-pointers" + MIRIFLAGS: "-Zmiri-tag-raw-pointers" clippy: name: Clippy