From a5cdf67ca326c19ada448f030ebd4a5324c33526 Mon Sep 17 00:00:00 2001
From: Hans Kratz <hans@appfour.com>
Date: Mon, 8 Jun 2026 07:32:44 +0200
Subject: [PATCH] miri ci

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

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 2f4cd86c..b1d3ce0b 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -123,6 +123,37 @@ jobs:
         shell: bash
         if: ${{ matrix.toolchain == 'nightly' }}
 
+  miri:
+    name: miri (${{ matrix.name }})
+    runs-on: ${{ matrix.os }}
+    strategy:
+      fail-fast: false
+      matrix:
+        include:
+          - name: x86-64 SSE4.2
+            os: ubuntu-latest
+            rustflags: "-C target-feature=+sse4.2"
+          - name: x86-64 AVX2
+            os: ubuntu-latest
+            rustflags: "-C target-feature=+avx2"
+          - name: aarch64 NEON
+            os: macos-latest
+            rustflags: ""
+    env:
+      RUSTFLAGS: ${{ matrix.rustflags }}
+    defaults:
+      run:
+        shell: bash
+    steps:
+      - uses: actions/checkout@v4
+      - uses: dtolnay/rust-toolchain@nightly
+        with:
+          components: miri
+      - name: Run Miri
+        run: |
+          set -x
+          cargo miri test
+
   test-inlining:
     runs-on: ubuntu-latest
     strategy: