From c92ff8c4fb050a092413de07f717fc3733888c5f Mon Sep 17 00:00:00 2001 From: Bob Halley Date: Sat, 18 Jan 2025 13:12:21 -0800 Subject: [PATCH] we do not need to install types for mypy anymore --- .github/workflows/ci.yml | 2 +- Makefile | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 837a23b5..c2202c0d 100644 --- 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 ecb0115e..e179bf13 100644 --- 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 -- 2.47.3