summaryrefslogtreecommitdiffstats
path: root/scripts
diff options
context:
space:
mode:
authorClement Tsang <34804052+ClementTsang@users.noreply.github.com>2023-04-11 04:39:28 -0400
committerGitHub <noreply@github.com>2023-04-11 04:39:28 -0400
commit016fa1e19b2265babe98cec43404c2f992336b34 (patch)
tree20b6e20bdf0a9649bae43d012130319fbc3eb8b3 /scripts
parent62474be52a5b5f02165874569c52862bfed98fd2 (diff)
ci: run wf cache clear script twice with delays (#1093)
* ci: run wf cache clear script twice with delays * reduce
Diffstat (limited to 'scripts')
-rw-r--r--scripts/clear_cache.py6
1 files changed, 5 insertions, 1 deletions
diff --git a/scripts/clear_cache.py b/scripts/clear_cache.py
index 2c40f76c..39cebe36 100644
--- a/scripts/clear_cache.py
+++ b/scripts/clear_cache.py
@@ -4,9 +4,10 @@
#
# Expects a GitHub token in the environment variables as GITHUB_TOKEN.
-import os
import json
+import os
import sys
+import time
from urllib.error import HTTPError, URLError
from urllib.request import Request, urlopen
@@ -53,6 +54,7 @@ def main():
print("URLError with delete.")
else:
print("Successfully deleted cache ID {}!".format(id))
+ time.sleep(0.1)
elif args[1] == "keep-main" or args[1] == "keep-master":
print("Clearing all but default branch cache.")
with urlopen(cache_list_request(key)) as response:
@@ -70,6 +72,7 @@ def main():
print("URLError with delete.")
else:
print("Successfully deleted cache ID {}!".format(id))
+ time.sleep(0.1)
elif args[1] == "main" or args[1] == "master" or args[1] == "all":
print("Clearing all caches.")
with urlopen(cache_list_request(key)) as response:
@@ -86,6 +89,7 @@ def main():
print("URLError with delete.")
else:
print("Successfully deleted cache ID {}!".format(id))
+ time.sleep(0.1)
else:
print(f"Skipping, given argument {args[1]}.")