Run `mypy` when `Tools/requirements-dev.txt` changes (#108457)

This commit is contained in:
Nikita Sobolev 2023-08-25 01:05:23 +03:00 committed by GitHub
parent be436e08b8
commit be800f4be7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions

View File

@ -9,6 +9,7 @@ on:
paths:
- "Tools/clinic/**"
- "Tools/cases_generator/**"
- "Tools/requirements-dev.txt"
- ".github/workflows/mypy.yml"
workflow_dispatch: