diff options
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"] |