[isabelle-dev] Future of isatest/afptest

[Peter Gammie]

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. :-)

cheers,
peter