From 5fd40c17d62b717c1ae100c9a57b19c6bc11ad9d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Janek=20Nouvertn=C3=A9?= <provinzkraut@posteo.de>
Date: Sat, 21 Oct 2023 12:31:18 +0200
Subject: [PATCH] chore: use dmypy to speed up local type checking (#2480)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Janek Nouvertné <25355197+provinzkraut@users.noreply.github.com>
---
 .gitignore | 1 +
 Makefile   | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index ca6f32027e..47c20ac01c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -39,3 +39,4 @@ __pypackages__/
 # pyenv / rtx / asdf
 .tool-versions
 .python-version
+/.dmypy.json
diff --git a/Makefile b/Makefile
index 259e7f0ddb..7f6152dcc4 100644
--- a/Makefile
+++ b/Makefile
@@ -77,7 +77,7 @@ lock:                                             ## Rebuild lockfiles from scra
 .PHONY: mypy
 mypy:                                               ## Run mypy
 	@echo "=> Running mypy"
-	@$(ENV_PREFIX)mypy
+	@$(ENV_PREFIX)dmypy run
 	@echo "=> mypy complete"
 
 .PHONY: pyright