travis: Attempt to workaround the constant travis failures

I'm beginning to think we need a more reliable CI...
This commit is contained in:
James Shubin
2018-02-22 20:26:52 -05:00
parent b0911c6d70
commit a785a43ef3

View File

@@ -11,7 +11,7 @@ dist: trusty
before_install: before_install:
# apt update tends to be flaky in travis, retry up to 3 times on failure # apt update tends to be flaky in travis, retry up to 3 times on failure
# https://docs.travis-ci.com/user/common-build-problems/#travis_retry # https://docs.travis-ci.com/user/common-build-problems/#travis_retry
- if [[ "$TRAVIS_OS_NAME" != "osx" ]]; then travis_retry sudo apt update; fi - if [[ "$TRAVIS_OS_NAME" != "osx" ]]; then travis_retry travis_retry sudo apt update; fi
- git config remote.origin.fetch "+refs/heads/*:refs/remotes/origin/*" - git config remote.origin.fetch "+refs/heads/*:refs/remotes/origin/*"
- git fetch --unshallow - git fetch --unshallow
install: 'make deps' install: 'make deps'