extern/nixos-wiki-infra
1
0
Fork 1
mirror of https://github.com/Mic92/nixos-wiki-infra.git synced 2024-11-23 00:33:10 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #90 from NixOS/joerg-ci

Browse Source 
increase exponential backoff when trying to fetch github releases
This commit is contained in:
Jörg Thalheim 2024-06-06 11:28:06 +02:00 committed by GitHub
commit c92c80499f
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
modules/nixos-wiki/update-extensions.py
View File

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