remove mypy as librt build failure breaks CI on 3.15dev and pypy

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 80e2e7f09bf69db6e1012f0008b672c5ab7f8f49..7aa4c39554915f35358b0e96c6303cea4f4844a3 100644 (file)
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -51,11 +51,11 @@ jobs:
     - name: Install dependencies
       run: |
         python -m pip install --upgrade pip
-        python -m pip install cryptography trio idna httpx h2 aioquic mypy pytest ruff pyright
+        python -m pip install cryptography trio idna httpx h2 aioquic pytest ruff pyright ty
     - name: Typecheck
       run: |
-        python -m mypy --disallow-incomplete-defs dns
         pyright dns
+        ty check dns
     - name: Lint
       run: |
         ruff check dns

diff --git a/pyproject.toml b/pyproject.toml
index 2ed8c3bb16d817331fe51b5d57ae46ffc0e5ac71..2bb3de4cd869aadfe5ae8e109099adff72ac2b26 100644 (file)
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -37,7 +37,6 @@ dev = [
     "black>=25.1.0",
     "coverage>=7.0",
     "hypercorn>=0.17.0",
-    "mypy>=1.17",
     "pyright>=1.1.405",
     "pytest>=8.4",
     "pytest-cov>=6.2.0",