The regularity with which travis builds are failing because of timeouts
seems to be increasing.
Can I ask that anyone intimately familiar with how travis works looks into
this problem for us ?
There is/was a pull request to improve build time on travis, which may be a
starting place and should be easy to find on github.
We are obviously very close to the limit of what is allowed, because most
of the time the build will pass if the job is restarted.