From db6ea5703fbf076a6626bbf8764578275bbf4ce3 Mon Sep 17 00:00:00 2001
From: DaniPopes <57450786+DaniPopes@users.noreply.github.com>
Date: Tue, 29 Aug 2023 00:17:49 +0200
Subject: [PATCH] Exclude a miri job

---
 .github/workflows/ci.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index cd6ecea..7e7f1a1 100644
--- 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: