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

[Andreas Abel]

It looks like they reduced the available memory so ghc 7.8 has to 
garbage collect excessively or swap.  Just a shot in the dark.  I doubt 
that 30 mins more help us a lot, if I am right.

On 10.02.2016 13:38, Andrés Sicard-Ramírez wrote:
> 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.
>
>

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www2.tcs.ifi.lmu.de/~abel/