diff --git a/dev/release/verify-apt.sh b/dev/release/verify-apt.sh index 187482cbf52..49671f01cc7 100755 --- a/dev/release/verify-apt.sh +++ b/dev/release/verify-apt.sh @@ -45,7 +45,21 @@ echo "::group::Prepare repository" export DEBIAN_FRONTEND=noninteractive -APT_INSTALL="apt install -y -V --no-install-recommends" +retry() +{ + local n_retries=0 + local max_n_retries=3 + while ! "$@"; do + n_retries=$((n_retries + 1)) + if [ ${n_retries} -eq ${max_n_retries} ]; then + echo "Failed: $@" + return 1 + fi + echo "Retry: $@" + done +} + +APT_INSTALL="retry apt install -y -V --no-install-recommends" apt update ${APT_INSTALL} \