From 44078a8dc02469f20d7d564e1bea291aa911f20d Mon Sep 17 00:00:00 2001
From: Tony Arcieri <bascule@gmail.com>
Date: Tue, 6 Oct 2026 11:01:05 -0600
Subject: [PATCH] zeroize: test under `cargo miri` in CI

---
 .github/workflows/zeroize.yml | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/.github/workflows/zeroize.yml b/.github/workflows/zeroize.yml
index b6dcf759..6e67d4dc 100644
--- a/.github/workflows/zeroize.yml
+++ b/.github/workflows/zeroize.yml
@@ -148,6 +148,24 @@ jobs:
       - run: cross test --target ${{ matrix.target }}
       - run: cross test --target ${{ matrix.target }} --all-features
 
+  # Test using `cargo miri`
+  miri:
+    runs-on: ubuntu-latest
+    env:
+      MIRIFLAGS: "-Zmiri-symbolic-alignment-check -Zmiri-strict-provenance"
+    strategy:
+      matrix:
+        target:
+          - x86_64-unknown-linux-gnu
+          - s390x-unknown-linux-gnu
+    steps:
+      - uses: actions/checkout@v7
+      - uses: dtolnay/rust-toolchain@stable
+        with:
+          toolchain: nightly-2026-08-23
+      - run: rustup component add miri
+      - run: cargo miri test --target ${{ matrix.target }} --all-features --lib
+
   # Tests for x86-64 `simd` support
   x86:
     strategy: