diff --git a/ci.sh b/ci.sh index 6077e32b50..fa054812a5 100755 --- a/ci.sh +++ b/ci.sh @@ -143,7 +143,9 @@ else # bash <(curl ...) # but azure is broken: # https://developercommunity.visualstudio.com/content/problem/743824/bash-task-on-windows-suddenly-fails-with-bash-devf.html - curl --retry 5 -o codecov.sh https://codecov.io/bash + # Also we have to set --connect-timeout to work around: + # https://github.com/curl/curl/issues/4461 + curl --connect-timeout 5 --retry 5 -o codecov.sh https://codecov.io/bash bash codecov.sh -n "${CODECOV_NAME}" -F "$FLAG" fi fi