diff options
| author | Hans Kristian Rosbach <hk-git@circlestorm.org> | 2019-09-17 16:12:22 +0200 |
|---|---|---|
| committer | Hans Kristian Rosbach <hk-github@circlestorm.org> | 2019-09-18 12:51:27 +0200 |
| commit | 6e4b0e087a01bc8cfcd5852bc4af535bd57750f4 (patch) | |
| tree | a216a63ab7848c4c0edb90c495d1e30179b2dffb /test/example.c | |
| parent | 3a89dbfb264fa33f7c6dc9788a6972e78474b76e (diff) | |
Make travis retry its operations, to attempt to avoid many of the
failed builds due to silly things like git failed to look up github.com
or apt failed to install deps due to network timeout, etc.
Make curl retry download of codecov bash script, and
make codecov re-try the uploads, since all the network errors
travis has is causing erratic coverage data.
Diffstat (limited to 'test/example.c')
0 files changed, 0 insertions, 0 deletions