From 772f9b3882cb5c39890a433ca61317fd7b809df3 Mon Sep 17 00:00:00 2001 From: sobolevn Date: Fri, 25 Aug 2023 00:22:27 +0300 Subject: [PATCH] Run `mypy` when `Tools/requirements-dev.txt` changes --- .github/workflows/mypy.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/mypy.yml b/.github/workflows/mypy.yml index a83a90c69529f2..75264c8e746663 100644 --- a/.github/workflows/mypy.yml +++ b/.github/workflows/mypy.yml @@ -9,6 +9,7 @@ on: paths: - "Tools/clinic/**" - "Tools/cases_generator/**" + - "Tools/requirements-dev.txt" - ".github/workflows/mypy.yml" workflow_dispatch: