Added travis_wait in config to increase build time to 20min

This commit is contained in:
Thomas VIAL 2016-12-21 11:34:29 +01:00
parent 86141ebb8c
commit 5d77837532
No known key found for this signature in database
GPG key ID: 0394CEE552FAFEFC

View file

@ -6,7 +6,7 @@ sudo: required
services:
- docker
script:
- make all
- travis_wait make all
notifications:
slack:
secure: TTo1z9nbZCWcIdfPwypubNa3y+pwvfgDGlzEVAGEuK7uuIpmEoAcAUNSSPTnbewDGHnDl8t/ml93MtvP+a+IVuAKytMqF39PHyoZO7aUl9J62V+G75OmnyGjXGJm40pQosCS6LzqoRRYXotl9+fwH568Kf4ifXCrMZX1d+ir7Ww=