Here are some: https://travis-ci.org/widelands/widelands/jobs/247862631
https://travis-ci.org/widelands/widelands/builds/246535636 https://travis-ci.org/widelands/widelands/jobs/243567543 I am wondering how much we would actually gain by the loops in such circumstances - if it's a short failure, they will help, but if the repos are unreachable for a few minutes, they won't do a thing. So, let's merge this as is and revisit if it's making transient failures worse. -- https://code.launchpad.net/~widelands-dev/widelands/travis-container/+merge/327492 Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/travis-container into lp:widelands. _______________________________________________ Mailing list: https://launchpad.net/~widelands-dev Post to : [email protected] Unsubscribe : https://launchpad.net/~widelands-dev More help : https://help.launchpad.net/ListHelp
