Replace Mypy with Ty type checker

.github/workflows/mypy.yml → .github/workflows/ty.yml

@@ -1,4 +1,4 @@
-name: Mypy Checks
+name: Ty Type Checks
 
 on:
   pull_request:
@@ -10,7 +10,7 @@ concurrency:
   cancel-in-progress: true
 
 jobs:
-  mypy:
+  ty:
     runs-on: ubuntu-latest
     timeout-minutes: 20
 
@@ -38,11 +38,8 @@ jobs:
           done
           echo "python_files=${python_files[*]}" >> $GITHUB_ENV
 
-      - name: Add MyPy annotator
-        uses: pr-annotators/mypy-pr-annotator@v1.0.0
-
-      - name: Run mypy
+      - name: Run ty
         if: ${{ env.python_files != '' }}
         run: |
-          echo "Running mypy on changed files: ${{ env.python_files }}"
-          uv run mypy --no-pretty --show-absolute-path ${{ env.python_files }}
+          echo "Running ty on changed files: ${{ env.python_files }}"
+          uv run ty check --output-format concise --python-version 3.12 --exclude "**/tests/**" --exclude "**/codegen_tests/**" ${{ env.python_files }}

pyproject.toml

@@ -81,7 +81,7 @@ dev-dependencies = [
   "pytest>=8.3.3",
   "pytest-cov>=6.1.0,<6.1.1",
   "ruff>=0.6.8",
-  "mypy[mypyc,faster-cache]>=1.13.0",
+  "ty>=0.0.1a10",
   "pre-commit>=4.0.1",
   "pytest-xdist>=3.6.1,<4.0.0",
   "pytest-mock<4.0.0,>=3.14.0",

ty.toml

@@ -0,0 +1,5 @@
+# Ty type checker configuration
+# Based on the previous mypy.ini configuration
+
+# Basic configuration - ty is still in early development
+# so configuration options are limited