[darcs-devel] [issue1581] use type witnesses on buildbot

Eric Kow bugs at darcs.net
Fri Aug 28 10:42:30 UTC 2009

Eric Kow <kowey at darcs.net> added the comment:

On Fri, Aug 28, 2009 at 10:27:50 +0000, Petr Ročkai wrote:
> I may be missing something, but the bots are checking witnesses for ages now.
> See eg. http://buildbot.darcs.net/builders/pheme22
> 6.10.4/builds/10/steps/compile/logs/stdio to check for yourself.

Oh, I see!  It's just that the new regime does things in fewer steps
(boxes) and also that we disable witnesses for GHC 6.8.x

Darcs bug tracker <bugs at darcs.net>

More information about the darcs-devel mailing list