[isabelle-dev] Future of isatest/afptest

Peter Gammie 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 mailing list