we do not need to install types for mypy anymore

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 837a23b532df87f6b54b6e55393e88816ffe5fcf..c2202c0d4f872a8e4b0174d4d45d94cd30e1c197 100644 (file)
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -54,7 +54,7 @@ jobs:
         python -m pip install cryptography trio idna httpx h2 aioquic mypy pytest ruff pyright
     - name: Typecheck
       run: |
-        python -m mypy --install-types --non-interactive --disallow-incomplete-defs dns
+        python -m mypy --disallow-incomplete-defs dns
         pyright dns
     - name: Lint
       run: |

diff --git a/Makefile b/Makefile
index ecb0115e5a688b314aa2c249e6c62da5e0567bb2..e179bf13be0c7de4beacc42497cf2860692efd5d 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -36,7 +36,7 @@ test:
 check: test
 
 type:
-       python -m mypy --install-types --non-interactive --disallow-incomplete-defs dns
+       python -m mypy --disallow-incomplete-defs dns
 
 pyright:
        pyright dns