Update CI

DaniPopes · Aug 28, 2023 · be51e05 · be51e05
1 parent d674d0f
commit be51e05
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -58,9 +58,8 @@ jobs:
         target: [x86_64-unknown-linux-gnu, aarch64-unknown-linux-gnu]
         flags: [--no-default-features, "", --all-features]
         exclude:
-          # miri doesn't implement some aarch intrinsics (`llvm.aarch64.neon.tbl1.v16i8`)
+          # miri doesn't implement neon intrinsics.
           - target: aarch64-unknown-linux-gnu
-            flags: --all-features
     env:
       MIRIFLAGS: -Zmiri-strict-provenance
     steps: