Exclude a miri job

DaniPopes · Aug 28, 2023 · db6ea57 · db6ea57
1 parent 460fe21
commit db6ea57
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -57,6 +57,10 @@ jobs:
       matrix:
         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`)
+          - target: aarch64-unknown-linux-gnu
+            flags: --all-features
     env:
       MIRIFLAGS: -Zmiri-strict-provenance
     steps: