jiuyuan
/
test_ok1
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Workaround curl bug which makes retries of fetching codecov.io/bash not work

This commit is contained in:
Ran Benita 2019-10-12 21:50:33 +03:00
parent 4f2abd7ae0
commit 7678f891f9
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 combine
python -m coverage xml python -m coverage xml
python -m coverage report -m 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 bash codecov-upload.sh -Z -X fix -f coverage.xml