From abcc297d7e84f8165e8073e7772fcd730dc8d138 Mon Sep 17 00:00:00 2001
From: MareStare <mare.stare.official@gmail.com>
Date: Sun, 23 Mar 2025 04:09:18 +0000
Subject: [PATCH] Add missing `--retry` for curl
---
scripts/init.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/scripts/init.sh b/scripts/init.sh
index f7f71065..ea351a16 100755
--- a/scripts/init.sh
+++ b/scripts/init.sh
@@ -5,7 +5,7 @@ set -euxo pipefail
function fetch {
local url="$1"
- curl --fail --silent --show-error --location --retry-all-errors "$url"
+ curl --fail --silent --show-error --location --retry 5 --retry-all-errors "$url"
}
function fetch_github_artifact_url {