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

[Andrés Sicard-Ramírez]

On 8 February 2016 at 03:14, Ulf Norell <ulf.norell at gmail.com> wrote:
> All Travis builds on ghc-7.8 have timed out compiling Agda for the last few
> days. It started with a commit that only affects 7.10 so I guess it's a
> Travis issue? Anyone knows anything about this?

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.


-- 
Andrés