[Pywikibot-commits] [Gerrit] ...core[master]: [coverage] ignore some make_dist code for coverage

Xqt has submitted this change. ( https://gerrit.wikimedia.org/r/c/pywikibot/core/+/850147 ) Change subject: [coverage] ignore some make_dist code for coverage ...................................................................... [coverage] ignore some make_dist code for coverage Change-Id: I3c10b376cdc8c3a44e04956ff98b4f179e15907e --- M make_dist.py 1 file changed, 3 insertions(+), 3 deletions(-) Approvals: jenkins-bot: Verified Xqt: Looks good to me, approved diff --git a/make_dist.py b/make_dist.py index 053ddae..84685e5 100644 --- a/make_dist.py +++ b/make_dist.py @@ -68,7 +68,7 @@ self.nodist = nodist self.folder = Path().resolve() - def clear_old_dist(self) -> None: + def clear_old_dist(self) -> None: # pragma: no cover """Delete old dist folders. .. versionadded:: 7.5 @@ -87,7 +87,7 @@ def cleanup(self) -> None: """Cleanup copied files.""" - def run(self) -> None: + def run(self) -> None: # pragma: no cover """Run the installer script.""" if self.upgrade: check_call('python -m pip install --upgrade pip', shell=True) @@ -190,7 +190,7 @@ return local, remote, clear, upgrade, nodist -def main() -> None: +def main() -> None: # pragma: no cover """Script entry point.""" args = handle_args() SetupPywikibot(*args).run() -- To view, visit https://gerrit.wikimedia.org/r/c/pywikibot/core/+/850147 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: I3c10b376cdc8c3a44e04956ff98b4f179e15907e Gerrit-Change-Number: 850147 Gerrit-PatchSet: 1 Gerrit-Owner: Xqt <info(a)gno.de> Gerrit-Reviewer: Xqt <info(a)gno.de> Gerrit-Reviewer: jenkins-bot Gerrit-MessageType: merged