Use ty instead of MyPy for type checking

Author: bittner

.github/workflows/check.yml

@@ -25,7 +25,7 @@ jobs:
         env:
         - lint
         - format
-        - mypy
+        - types
         - package
         - license
     steps:

pyproject.toml

@@ -58,19 +58,6 @@ exclude_also = ["if __name__ == .__main__.:"]
 show_missing = true
 skip_covered = true
 
-[tool.mypy]
-exclude = [
-  "tests/",
-  "tests\\.py$",
-  "test_.*\\.py$",
-  ".*_tests\\.py$",
-]
-ignore_missing_imports = true
-pretty = true
-warn_redundant_casts = true
-warn_unreachable = true
-warn_unused_ignores = true
-
 [tool.pytest.ini_options]
 addopts = "--color=yes --doctest-modules --junitxml=tests/junit-report.xml --verbose"
 

tox.ini

@@ -8,8 +8,8 @@
 envlist =
     lint
     format
+    types
     license
-    mypy
     py3{9,10,11,12,13,14}
     pypy3{9,10,11}
     package
@@ -59,12 +59,6 @@ skip_install = true
 deps = ruff
 commands = ruff check {posargs:.}
 
-[testenv:mypy]
-description = Perform static type checking
-skip_install = true
-deps = mypy
-commands = mypy {posargs:.}
-
 [testenv:package]
 description = Build package and check metadata (or upload package)
 skip_install = true
@@ -78,3 +72,12 @@ passenv =
     TWINE_USERNAME
     TWINE_PASSWORD
     TWINE_REPOSITORY_URL
+
+[testenv:types]
+description = Perform static type checking
+skip_install = true
+deps =
+    cli-test-helpers
+    pytest
+    ty
+commands = ty check {posargs}