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 -- To view, visit https://gerrit.wikimedia.org/r/c/pywikibot/core/+/705165 To unsubscribe, or for help writing mail filters, visit https://gerrit.wikimedia.org/r/settings Gerrit-Project: pywikibot/core Gerrit-Branch: master Gerrit-Change-Id: Iff6f82f3d2f05f1c9e0b37d84e1149f18a9032ef Gerrit-Change-Number: 705165 Gerrit-PatchSet: 1 Gerrit-Owner: JJMC89 <[email protected]> Gerrit-Reviewer: JJMC89 <[email protected]> Gerrit-Reviewer: jenkins-bot Gerrit-MessageType: merged
_______________________________________________ Pywikibot-commits mailing list -- [email protected] To unsubscribe send an email to [email protected]
