diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/ci/scripts/retry.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/ci/scripts/retry.sh b/tools/ci/scripts/retry.sh index b54c3b074..aaa50e983 100755 --- a/tools/ci/scripts/retry.sh +++ b/tools/ci/scripts/retry.sh @@ -7,7 +7,7 @@ while true; do if [ "$?" == 0 ]; then exit 0 fi - if [[ $n -ge 5 ]]; then + if [[ $n -ge 10 ]]; then exit -1 fi sleep 5s |