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 have noted the same problem. I'll ask to Travis about it. -- Andrés