[darcs-devel] [issue1581] use type witnesses on buildbot
Petr Ročkai
bugs at darcs.net
Fri Aug 28 10:27:50 UTC 2009
Petr Ročkai <me at mornfall.net> added the comment:
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.
----------
status: need-implementation -> resolved
__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/issue1581>
__________________________________
More information about the darcs-devel
mailing list