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: