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.

diff --git a/.travis.yml b/.travis.yml
index eb9fd1eba08241b0b63bc7186713c0acd65db0b2..256db2a5219ffd6a80c9edb82c1cd79e4da8e0e7 100644 (file)
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,6 +1,7 @@
 language: c
 cache: ccache
 dist: xenial
+bundler_args: --retry 5
 
 env:
   global:
@@ -369,4 +370,4 @@ script:
   - $TESTER
 
 after_success:
-  - bash <(curl -s https://codecov.io/bash)
+  - bash <(curl -s https://codecov.io/bash --connect-timeout 10 --retry 8 --retry-delay 10) -U "--connect-timeout 10 --retry 8 --retry-delay 10"