From 6402359a7876f17bf6f4f78de0263452e4d9967b Mon Sep 17 00:00:00 2001
From: Xander van der Goot <xandervandergoot@gmail.com>
Date: Wed, 17 Dec 2025 12:15:36 +0800
Subject: [PATCH 1/2] CI: add kani support

---
 .github/workflows/kani.yml | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 .github/workflows/kani.yml

diff --git a/.github/workflows/kani.yml b/.github/workflows/kani.yml
new file mode 100644
index 00000000..e2779470
--- /dev/null
+++ b/.github/workflows/kani.yml
@@ -0,0 +1,18 @@
+name: Kani model checking
+
+on:
+  workflow_dispatch:
+  push:
+    branches: ["main"]
+  pull_request:
+    branches: ["main"]
+
+jobs:
+  kani:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Run Kani
+        uses: model-checking/kani-github-action@v1
+        with:
+          # Whitelist the directories that use Kani to prevent it building the entire project.
+          working-directory: "./cm31"

From f26cab6f153b8642d56cf365dc3472f74c9fe6b8 Mon Sep 17 00:00:00 2001
From: Xander van der Goot <xandervandergoot@gmail.com>
Date: Wed, 17 Dec 2025 12:20:39 +0800
Subject: [PATCH 2/2] fixup! CI: add kani support

---
 .github/workflows/kani.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/kani.yml b/.github/workflows/kani.yml
index e2779470..53208f12 100644
--- a/.github/workflows/kani.yml
+++ b/.github/workflows/kani.yml
@@ -14,5 +14,5 @@ jobs:
       - name: Run Kani
         uses: model-checking/kani-github-action@v1
         with:
-          # Whitelist the directories that use Kani to prevent it building the entire project.
+          # Whitelist directories that use Kani this prevents the entire project from being built.
           working-directory: "./cm31"