igloo at earth.li
Tue Apr 1 19:09:08 UTC 2014
On Tue, Apr 01, 2014 at 12:46:05PM +0200, Joachim Breitner wrote:
> happy with buildbot, it might not be the worst choice.
For reference, the reason we moved away from buildbot is that it needs
to maintain a TCP connection for the duration of the build. With some
builds taking many hours (either on old platforms, or on modern hardware
but with a full testsuite run and nofib etc) it was common that a brief
network glitch caused a build to not finish.
More information about the ghc-devs