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