From 50081a12752af6b49100b641c1f924d6e94fb4db Mon Sep 17 00:00:00 2001 From: Joachim Jablon Date: Sun, 26 Sep 2021 00:32:46 +0200 Subject: [PATCH] Improve reporting --- src/entrypoint | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/entrypoint b/src/entrypoint index e66d7dd..392a635 100755 --- a/src/entrypoint +++ b/src/entrypoint @@ -21,10 +21,10 @@ JSON_URL = "https://raw.githubusercontent.com/wiki/{repo_name}/{filename}" def main(): + print("Starting action") config = Config.from_environ(os.environ) coverage_info = get_coverage_info(config=config) gh = get_api(config=config) - if config.GITHUB_PR_NUMBER: print(f"Commenting on the coverage on PR {config.GITHUB_PR_NUMBER}") diff_coverage_info = get_diff_coverage_info(config=config) @@ -46,6 +46,8 @@ def main(): print(f"Badge JSON stored at {url}") print(f"Badge URL: {SHIELD_URL.format(url=url)}") + print("Ending action") + @dataclasses.dataclass class Config: @@ -247,6 +249,7 @@ def get_previous_coverage_rate(config: Config) -> Optional[float]: requests.get(get_badge_json_url(config=config)).json()["value"][:-1] ) except Exception: + print("Previous coverage results not found, cannot report on evolution.") return None