p53209761
/
test_ok2
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Workaround curl bug which makes retries of fetching codecov.io/… (#5951) 

Workaround curl bug which makes retries of fetching codecov.io/bash not work
This commit is contained in:
Bruno Oliveira 2019-10-12 17:08:47 -03:00 committed by GitHub
parent 3322c1e033 7678f891f9
commit 1555973487
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
scripts/report-coverage.sh
View File

@ -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