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

[Ulf Norell]

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?

/ Ulf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda-dev/attachments/20160208/0d3a4b80/attachment.html