From 6bf8e4808be2d42c0ea2fa6062ce75a4aff83055 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Kr=C3=B6ning?=
 <martin.kroening@eonerc.rwth-aachen.de>
Date: Mon, 23 Jun 2025 18:26:32 +0200
Subject: [PATCH] ci: run Miri

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

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 9c17362..6cecbcf 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -45,6 +45,18 @@ jobs:
           components: rustfmt
       - run: cargo fmt --all --check
 
+  miri:
+    name: Miri
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: dtolnay/rust-toolchain@nightly
+        with:
+          components: miri
+      - run: cargo miri setup
+      - run: cargo miri test --features alloc,mmio,pci,zerocopy
+      - run: cargo miri test --all-features
+
   test:
     name: Test
     runs-on: ubuntu-latest