jenkins-bot has submitted this change. ( https://gerrit.wikimedia.org/r/c/pywikibot/core/+/705165 )
Change subject: add mypy config ......................................................................
add mypy config
Change-Id: Iff6f82f3d2f05f1c9e0b37d84e1149f18a9032ef --- A mypy.ini 1 file changed, 9 insertions(+), 0 deletions(-)
Approvals: JJMC89: Looks good to me, approved jenkins-bot: Verified
diff --git a/mypy.ini b/mypy.ini new file mode 100644 index 0000000..4eb6afc --- /dev/null +++ b/mypy.ini @@ -0,0 +1,9 @@ +[mypy] +check_untyped_defs = true +disallow_any_generics = true +disallow_incomplete_defs = true +disallow_untyped_defs = true +no_implicit_optional = true +show_error_codes = true +warn_redundant_casts = true +warn_unused_ignores = true
pywikibot-commits@lists.wikimedia.org