From ec7b19168ca8d51b0bb48b543ac5cd174aba7299 Mon Sep 17 00:00:00 2001
From: Philipp Schuster <phip1611@gmail.com>
Date: Fri, 3 May 2024 15:24:52 +0200
Subject: [PATCH] ci: run miri

---
 .github/workflows/rust.yml | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)

diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
index 4be95ef..77c3c4a 100644
--- a/.github/workflows/rust.yml
+++ b/.github/workflows/rust.yml
@@ -36,6 +36,29 @@ jobs:
       - name: Run tests
         run: cargo test --verbose --features alloc
 
+  miri:
+    runs-on: "${{ matrix.runs-on }}"
+    needs:
+      # Logical dependency and wait for cache to be present
+      - build
+    strategy:
+      matrix:
+        runs-on:
+          - ubuntu-latest
+        rust:
+          - nightly
+    steps:
+      - uses: actions/checkout@v2
+      - name: Setup Rust toolchain
+        uses: dtolnay/rust-toolchain@stable
+        with:
+          toolchain: "${{ matrix.rust }}"
+      - uses: Swatinem/rust-cache@v2
+        with:
+          key: "${{ matrix.runs-on }}-${{ matrix.rust }}"
+      - run: rustup component add miri
+      - run: cargo miri test --tests
+
   style_checks:
     runs-on: ubuntu-latest
     strategy: