From 282c06eb623fdb3a1f37e1cc58e41dd34b779e3c Mon Sep 17 00:00:00 2001
From: Dominik Jain <dominik.jain@oraios-ai.de>
Date: Wed, 19 Nov 2025 23:57:32 +0100
Subject: [PATCH] Add mypy to CI pipeline (run after tests)

---
 .github/workflows/pytest.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/pytest.yml b/.github/workflows/pytest.yml
index 22209e48..5a2ef01e 100644
--- a/.github/workflows/pytest.yml
+++ b/.github/workflows/pytest.yml
@@ -362,3 +362,6 @@ jobs:
       - name: Test with pytest
         shell: bash
         run: uv run poe test
+      - name: Type-checking with mypy
+        shell: bash
+        run: uv run poe type-check
\ No newline at end of file