diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index e680595..e4d1e0c 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -77,8 +77,6 @@ jobs: miri: name: Miri runs-on: ubuntu-latest - env: - MIRIFLAGS: -Zmiri-tag-raw-pointers steps: - name: Checkout repository uses: actions/checkout@v4