From 4ffb8a37aae6e5fd7c40a75bd46c1b025bff2fe0 Mon Sep 17 00:00:00 2001 From: Florian Bruhin Date: Wed, 22 Nov 2023 14:44:34 +0100 Subject: scripts: Keep coverage.xml useful for tools showing coverage info in e.g. your editor --- scripts/dev/check_coverage.py | 5 ----- 1 file changed, 5 deletions(-) diff --git a/scripts/dev/check_coverage.py b/scripts/dev/check_coverage.py index a3a9bf644..228fc7bd9 100644 --- a/scripts/dev/check_coverage.py +++ b/scripts/dev/check_coverage.py @@ -328,10 +328,6 @@ def main_check(): print("or check https://codecov.io/github/qutebrowser/qutebrowser") print() - if scriptutils.ON_CI: - print("Keeping coverage.xml on CI.") - else: - os.remove('coverage.xml') return 1 if messages else 0 @@ -352,7 +348,6 @@ def main_check_all(): '--cov-report', 'xml', test_file], check=True) with open('coverage.xml', encoding='utf-8') as f: messages = check(f, [(test_file, src_file)]) - os.remove('coverage.xml') messages = [msg for msg in messages if msg.typ == MsgType.insufficient_coverage] -- cgit v1.2.3-54-g00ecf