From 84a9f6f48a8642df4e2952e02dcb2fce71100e1c Mon Sep 17 00:00:00 2001
From: Tony Arcieri <bascule@gmail.com>
Date: Thu, 11 Jan 2024 11:58:31 -0700
Subject: [PATCH] CI: add miri checks

Should help identify potentially problematic unsafe code
---
 .github/workflows/hybrid-array.yml | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/.github/workflows/hybrid-array.yml b/.github/workflows/hybrid-array.yml
index adf1b6f..625429c 100644
--- a/.github/workflows/hybrid-array.yml
+++ b/.github/workflows/hybrid-array.yml
@@ -53,6 +53,21 @@ jobs:
       - run: cargo test
       - run: cargo test --all-features
 
+  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@v4
+      - uses: dtolnay/rust-toolchain@nightly
+      - run: rustup component add miri && cargo miri setup
+      - run: cargo miri test --target ${{ matrix.target }} --all-features
+
   clippy:
     runs-on: ubuntu-latest
     steps: