[isabelle-dev] Future of isatest/afptest
peteg42 at gmail.com
Thu Nov 19 14:06:22 CET 2015
On 19 Nov 2015, at 00:18, Lars Hupel <hupel at in.tum.de> wrote:
Lars, that all sounds awesome.
Reckon you could make the status of the builds somehow public?
(Right now I don’t know whether my patch to ConcurrentGC works or not, because I only get failure emails and don’t know when a build is run. I know, I should learn to stop worrying and love the silence. :-)
More information about the isabelle-dev