diff options
author | ClementTsang <34804052+ClementTsang@users.noreply.github.com> | 2022-11-06 03:48:45 -0500 |
---|---|---|
committer | ClementTsang <34804052+ClementTsang@users.noreply.github.com> | 2022-11-06 03:48:45 -0500 |
commit | d613fbdee9b6282fcfb340d3c22e4aaf998f86e2 (patch) | |
tree | c71df98fe757ed1b4fc5b2aa8629e9202f5b4cb9 /scripts | |
parent | 442dba84e36e876da934959866a829fb14744b0d (diff) |
ci: add log line for cache clearing
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/clear_cache.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/clear_cache.py b/scripts/clear_cache.py index 167a12de..c2af1359 100644 --- a/scripts/clear_cache.py +++ b/scripts/clear_cache.py @@ -29,14 +29,14 @@ def delete_cache_request(key, id): def main(): - args = sys.argv env = os.environ key = env["GITHUB_TOKEN"] - pr_id = args[1] + pr_id = int(args[1]) ref = "refs/pull/{}/merge".format(pr_id) + print("Clearing any caches generated by PR {}".format(pr_id)) with urlopen(cache_list_request(key)) as response: response = json.load(response) caches = response["actions_caches"] |