Merge pull request #6573 from blueyed/codecov-curl-retry-connrefused

ci: codecov: use `--retry-connrefused` with curl
This commit is contained in:
Daniel Hahler 2020-01-25 19:05:13 +01:00 committed by GitHub
commit 198b1dcffd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -14,5 +14,5 @@ python -m coverage combine
python -m coverage xml python -m coverage xml
python -m coverage report -m python -m coverage report -m
# Set --connect-timeout to work around https://github.com/curl/curl/issues/4461 # 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 curl -S -L --connect-timeout 5 --retry 6 --retry-connrefused -s https://codecov.io/bash -o codecov-upload.sh
bash codecov-upload.sh -Z -X fix -f coverage.xml "$@" bash codecov-upload.sh -Z -X fix -f coverage.xml "$@"