increase exponential backoff when trying to fetch github releases

This commit is contained in:
Jörg Thalheim 2024-06-06 11:14:59 +02:00
parent e64e308670
commit 0f9c268def

View File

@ -68,7 +68,7 @@ def mirror_extension(extension_name: str, mediawiki_version: str) -> Extension:
with TemporaryDirectory() as tmpdir:
download_file(download_url.geturl(), f"{tmpdir}/{base_name}")
run(["gh", "release", "upload", base_name, f"{tmpdir}/{base_name}"])
for i in range(3):
for i in range(30):
try:
hash = run(["nix-prefetch-url", "--unpack", mirror_url], stdout=subprocess.PIPE).stdout.strip()
except subprocess.CalledProcessError: