[opam-devel] Travis is broken

[Thomas Gazagnaire]

>> We start to have the same issue again.
>> 
>> Travis CI kindly allocates us 3 linux and 1 OSX builders per PR. As we are testing 7 linux configurations, we need 3 full cycles (3 + 3 + 2). Currently PR are taking between 2 and 3h to start and complete which is a very slow feedback. Would be very nice if we could improve that by letting Travis CI manage the builds and delegating the builds to other CI infrastructures.
> Yes, the long feedback loop is quite annoying. Also I noticed that if you update a PR with a new commit (e.g. `opam publish (re)submit`) it will not kill the previously scheduled/started job.  

I've just disabled the continuous build of "pushes" so now only the pull request are tested. Hopefully this should speed up things a little.