diff --git a/.github/workflows/release-checks.yml b/.github/workflows/release-checks.yml
index 3f974db13..52d0d49b1 100644
--- a/.github/workflows/release-checks.yml
+++ b/.github/workflows/release-checks.yml
@@ -53,4 +53,4 @@ jobs:
       - name: Lint with ruff
         run: uv run --no-sync ruff check tket-py
       - name: Run python tests
-        run: uv run --no-sync pytest
+        run: uv run --no-sync pytest tket-py
diff --git a/tket-py/tket/extensions/__init__.py b/tket-py/tket/extensions/__init__.py
index 2016afc42..fc089c00b 100644
--- a/tket-py/tket/extensions/__init__.py
+++ b/tket-py/tket/extensions/__init__.py
@@ -14,7 +14,7 @@
 
 # TODO: Remove once tket no longer supports tket-exts 0.10.*
 try:
-    from tket_exts import bool
+    from tket_exts import bool  # type: ignore[attr-defined]
 except ImportError:
     bool = opaque_bool  # type: ignore[assignment]