diff --git a/tools/run-mypy b/tools/run-mypy index e1cd941b7f..178baef7b3 100755 --- a/tools/run-mypy +++ b/tools/run-mypy @@ -16,7 +16,10 @@ bots/jabber_mirror_backend.py bots/zephyr_mirror_backend.py docs/conf.py tools/deprecated/ -zproject/ +zproject/local_settings_template.py +zproject/local_settings.py +zproject/settings.py +zproject/test_settings.py zerver/migrations/ zerver/tests/ """.split()