[Agda-dev] What's up with Travis?

[Andrés Sicard-Ramírez]

On 10 February 2016 at 07:38, Andrés Sicard-Ramírez <asr at eafit.edu.co> wrote:
> I got in touch with Travis. They don't know what is the cause of the
> recent time outs. They will set a custom time out for agda/agda to 150
> minutes or so.

With the 150 minutes time out we got better results

  https://travis-ci.org/agda/agda/builds/108296122

I reported the failing job

  https://travis-ci.org/agda/agda/jobs/108296124

and Travis give us a 180 minutes time out. Let's see how it goes this time...


-- 
Andrés