Merge pull request python-trio#1232 from njsmith/make-curl-verbose

Set --connect-timeout when running curl, to make --retry work, and hopefully fix python-trio#1231

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