diff options
author | Jason Gross <jgross@mit.edu> | 2018-01-10 19:37:49 -0500 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2018-01-10 19:37:49 -0500 |
commit | f7b212b9075dc3cf323eeb05ab99788eb9094807 (patch) | |
tree | 2fb8af10184273f30283ce9ab8646c5cad05f034 | |
parent | 4b0aa5c4e33f800588cf840b93c4ed55d56118c5 (diff) |
Add travis_retry to work around bugs in travis
-rw-r--r-- | .travis.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.travis.yml b/.travis.yml index 637868fda..c0bfeb785 100644 --- a/.travis.yml +++ b/.travis.yml @@ -40,8 +40,8 @@ matrix: before_install: - if [ ! -z "$PPA" ]; then sudo add-apt-repository "$PPA" -y; fi - - sudo apt-get update -q - - sudo apt-get install $COQ_PACKAGE -y + - travis_retry sudo apt-get update -q + - travis_retry sudo apt-get install $COQ_PACKAGE -y before_script: |