widelands-dev team mailing list archive

[GunChleoc <fios@xxxxxxxxxxxxxxxxxxx>]

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.