move typecheck out of checks

Author: ubdbra001

.github/workflows/checks.yml

@@ -26,7 +26,7 @@ jobs:
     runs-on: ubuntu-latest
     strategy:
       matrix:
-        check: ['style', 'spellcheck', 'type']
+        check: ['style', 'spellcheck']
 
     steps:
       - uses: actions/checkout@v5

tox.ini

@@ -7,7 +7,7 @@ envlist =
   py310-min
   style
   spellcheck
-  type
+  mypy
 skip_missing_interpreters = true
 
 # Configuration that allows us to split tests across GitHub runners effectively
@@ -16,7 +16,7 @@ python =
   3.10: py310
   3.11: py311
   3.12: py312
-  3.13: py313
+  3.13: py313, mypy
   3.14: py314
 
 [gh-actions:env]
@@ -28,7 +28,6 @@ DEPENDS =
 CHECK =
   style: style
   spellcheck: spellcheck
-  type: type
 
 [testenv]
 description = Pytest with coverage
@@ -90,12 +89,12 @@ commands =
   fix: codespell -w {posargs}
   !fix: codespell {posargs}
 
-[testenv:type]
+[testenv:mypy]
 description = Check type consistency
+basepython = python3.13
 labels = check
 dependency_groups =
   types
 skip_install = true
-runner = uv-venv-runner
 commands =
   mypy --strict src tests