chore(ci): Remove unstable MIRI feature

cobalt-org · Aug 6, 2024 · 5f3ffe0 · 5f3ffe0
1 parent cabe7d1
commit 5f3ffe0
Showing 1 changed file with 0 additions and 2 deletions.
diff --git 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