jenkins-bot has submitted this change. (
https://gerrit.wikimedia.org/r/c/pywikibot/core/+/1183177?usp=email )
Change subject: update coverage settings
......................................................................
update coverage settings
Change-Id: I9c37363bb4824cd4b69dd674511c7facad2a4f1e
Signed-off-by: Xqt <i...@gno.de>
---
M pyproject.toml
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Xqt: Looks good to me, approved
jenkins-bot: Verified
diff --git a/pyproject.toml b/pyproject.toml
index 890995f..3f3e66a 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -143,7 +143,7 @@
"except \\w*ServerError",
"if (0|False):",
"if .+PYWIKIBOT_TEST_\\w+.+:",
- "if TYPE_CHECKING:",
+ "if (typing\\.)?TYPE_CHECKING:",
"if __debug__:",
"if __name__ == .__main__.:",
"if self\\.mw_version < .+:",
--
To view, visit
https://gerrit.wikimedia.org/r/c/pywikibot/core/+/1183177?usp=email
To unsubscribe, or for help writing mail filters, visit
https://gerrit.wikimedia.org/r/settings?usp=email
Gerrit-MessageType: merged
Gerrit-Project: pywikibot/core
Gerrit-Branch: master
Gerrit-Change-Id: I9c37363bb4824cd4b69dd674511c7facad2a4f1e
Gerrit-Change-Number: 1183177
Gerrit-PatchSet: 3
Gerrit-Owner: Xqt <i...@gno.de>
Gerrit-Reviewer: Xqt <i...@gno.de>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
Pywikibot-commits mailing list -- pywikibot-commits@lists.wikimedia.org
To unsubscribe send an email to pywikibot-commits-le...@lists.wikimedia.org
