CI: Retry failed downloads (#9506)

This commit is contained in:
Hugo van Kemenade 2026-03-27 00:57:43 +02:00 committed by GitHub
parent f176f5dad6
commit ef6951d1a5
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -5,7 +5,10 @@ archive=$1
url=$2
if [ ! -f $archive.tar.gz ]; then
wget --no-verbose -O $archive.tar.gz $url
wget -O $archive.tar.gz $url \
--no-verbose \
--retry-connrefused \
--retry-on-http-error=429,503,504
fi
rmdir $archive