diff options
| author | MarcoFalke <falke.marco@gmail.com> | 2019-02-05 18:24:02 -0500 |
|---|---|---|
| committer | MarcoFalke <falke.marco@gmail.com> | 2019-02-05 18:23:30 -0500 |
| commit | fa1db331dea5af916d54e679a69013065a8cbc91 (patch) | |
| tree | 13debb378e4917b836387982cec7f56508f2f7c5 | |
| parent | 5029e94f855c73bad2e0ea6dc0378f33787ae131 (diff) | |
travis: Only exit early if compilation took longer than 30 min
| -rw-r--r-- | .travis.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index b43418f84e..873b33b05b 100644 --- a/.travis.yml +++ b/.travis.yml @@ -33,7 +33,7 @@ before_script: - set -o errexit; source .travis/test_05_before_script.sh script: - if [ $SECONDS -gt 1200 ]; then set +o errexit; echo "Travis early exit to cache current state"; false; else set -o errexit; source .travis/test_06_script_a.sh; fi - - if [ $SECONDS -gt 1500 ]; then set +o errexit; echo "Travis early exit to cache current state"; false; else set -o errexit; source .travis/test_06_script_b.sh; fi + - if [ $SECONDS -gt 1800 ]; then set +o errexit; echo "Travis early exit to cache current state"; false; else set -o errexit; source .travis/test_06_script_b.sh; fi after_script: - echo $TRAVIS_COMMIT_RANGE - echo $TRAVIS_COMMIT_LOG |