mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
travis: extend timeout for all builders
This commit is contained in:
parent
62b4e01cfd
commit
078dd0afe4
11
.travis.yml
11
.travis.yml
|
@ -51,11 +51,6 @@ env:
|
|||
|
||||
|
||||
script:
|
||||
# Use `travis_wait` when doing LTO builds because this configuration will
|
||||
# have long link times during which it will not show any output which
|
||||
# TravisCI might kill due to perceived inactivity.
|
||||
- if [ "X${USE_LTO}" = "X1" ]; then
|
||||
travis_wait 55 contrib/ci/scripts/travis_ci_entry_point.sh || exit 1;
|
||||
else
|
||||
contrib/ci/scripts/travis_ci_entry_point.sh || exit 1;
|
||||
fi
|
||||
# Use `travis_wait` when building because some configurations don't produce an
|
||||
# output for a long time (linking & testing)
|
||||
- travis_wait 55 contrib/ci/scripts/travis_ci_entry_point.sh || exit 1;
|
||||
|
|
Loading…
Reference in a new issue