diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 2a7832678..588ef0d20 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -76,6 +76,8 @@ jobs: with: components: miri - run: cargo miri test + env: + MIRIFLAGS: "-Zmiri-tag-raw-pointers" clippy: name: Clippy