From 1bf978445e8f2961e13a55fb7dd1e6b78d6c748d Mon Sep 17 00:00:00 2001
From: Jeff Epler <jepler@gmail.com>
Date: Wed, 21 May 2025 16:42:34 +0200
Subject: [PATCH 1/2] actually check types with mypy again

---
 .github/workflows/test.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 5525b6b..f67dc51 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -55,6 +55,10 @@ jobs:
         python -mpip install wheel
         python -mpip install -r requirements-dev.txt
 
+    - name: Check stubs
+      if: (! startsWith(matrix.python-version, 'pypy-'))
+      run: make mypy PYTHON=python
+
 
   test:
     strategy:

From b859900b9b890abebdac193b541da6331496ad53 Mon Sep 17 00:00:00 2001
From: Jeff Epler <jepler@gmail.com>
Date: Wed, 21 May 2025 16:46:07 +0200
Subject: [PATCH 2/2] type check the tests too

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 05f5f1c..b630b67 100644
--- a/Makefile
+++ b/Makefile
@@ -44,7 +44,7 @@ test_venv:
 
 .PHONY: mypy
 mypy:
-	$(Q)mypy --strict --no-warn-unused-ignores src
+	$(Q)mypy --strict --no-warn-unused-ignores src test
 
 .PHONY: update
 update: