From fad06f3bb436a97683e8248bfda1bd0d9998c899 Mon Sep 17 00:00:00 2001
From: MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz>
Date: Thu, 20 Nov 2025 12:47:22 +0100
Subject: [PATCH] test: retry download in get_previous_releases.py

---
 test/get_previous_releases.py | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/test/get_previous_releases.py b/test/get_previous_releases.py
index ecb585c12d7..0ca00aceddf 100755
--- a/test/get_previous_releases.py
+++ b/test/get_previous_releases.py
@@ -168,7 +168,13 @@ def download_binary(tag, args) -> int:
         download_from_url(archive_url, archive)
     except Exception as e:
         print(f"\nDownload failed: {e}", file=sys.stderr)
-        return 1
+        print("Retrying download after failure ...", file=sys.stderr)
+        time.sleep(12)
+        try:
+            download_from_url(archive_url, archive)
+        except Exception as e2:
+            print(f"\nDownload failed a second time: {e2}", file=sys.stderr)
+            return 1
 
     hasher = hashlib.sha256()
     with open(archive, "rb") as afile: