github actions: retry problematic steps up to 5 times

This commit is contained in:
Leonid Pliushch 2021-10-07 16:41:21 +03:00
parent 4ab3a39951
commit 8c7b2298f5
No known key found for this signature in database
GPG Key ID: 45F2964132545795

View File

@ -221,9 +221,9 @@ jobs:
if [ "$uploaded_files" = "true" ]; then if [ "$uploaded_files" = "true" ]; then
echo "[$(date +%H:%M:%S)] Adding packages to repository '$REPOSITORY_NAME'..." echo "[$(date +%H:%M:%S)] Adding packages to repository '$REPOSITORY_NAME'..."
# Retry up to 3 times. # Retry up to 5 times.
http_status_code="" http_status_code=""
for _ in {1..3}; do for _ in {1..5}; do
curl_response=$( curl_response=$(
set +e set +e
curl \ curl \
@ -260,9 +260,9 @@ jobs:
# Final part to make changes appear in web root. # Final part to make changes appear in web root.
echo "[$(date +%H:%M:%S)] Publishing repository changes..." echo "[$(date +%H:%M:%S)] Publishing repository changes..."
# Retry up to 3 times. # Retry up to 5 times.
http_status_code="" http_status_code=""
for _ in {1..3}; do for _ in {1..5}; do
curl_response=$( curl_response=$(
set +e set +e
curl \ curl \