From 7678f891f96e1c741af4b619bc02c9a918b72f29 Mon Sep 17 00:00:00 2001 From: Ran Benita Date: Sat, 12 Oct 2019 21:50:33 +0300 Subject: [PATCH] Workaround curl bug which makes retries of fetching codecov.io/bash not work --- scripts/report-coverage.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/scripts/report-coverage.sh b/scripts/report-coverage.sh index 7fdeda464..165426a11 100755 --- a/scripts/report-coverage.sh +++ b/scripts/report-coverage.sh @@ -13,5 +13,6 @@ fi python -m coverage combine python -m coverage xml python -m coverage report -m -curl -S -L --retry 6 -s https://codecov.io/bash -o codecov-upload.sh +# Set --connect-timeout to work around https://github.com/curl/curl/issues/4461 +curl -S -L --connect-timeout 5 --retry 6 -s https://codecov.io/bash -o codecov-upload.sh bash codecov-upload.sh -Z -X fix -f coverage.xml