From c67db1636bb8d64a796b58c84b807009f633991f Mon Sep 17 00:00:00 2001 From: Tim Hatch Date: Sun, 21 Jan 2024 07:23:55 -0800 Subject: [PATCH] Looks like there isn't a config for `install_types` in mypy --- Makefile | 2 +- setup.cfg | 1 - 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/Makefile b/Makefile index a7eda13..de808a0 100644 --- a/Makefile +++ b/Makefile @@ -27,7 +27,7 @@ format: lint: python -m ufmt check $(SOURCES) python -m flake8 $(SOURCES) - mypy --strict --non-interactive checkdeps + mypy --strict --install-types --non-interactive -p checkdeps .PHONY: release release: diff --git a/setup.cfg b/setup.cfg index 8d3305d..9217b2b 100644 --- a/setup.cfg +++ b/setup.cfg @@ -53,7 +53,6 @@ skip_covered = True [mypy] ignore_missing_imports = True -install_types = True [tox:tox] envlist = py{310,311,312}, coverage