[isabelle-dev] Future of isatest/afptest
hupel at in.tum.de
Thu Nov 19 14:17:25 CET 2015
> Reckon you could make the status of the builds somehow public?
Definitely! There are already two jobs public at our Jenkins server:
As soon as I add more jobs, they (and their output) will appear there.
Unfortunately the old scheme of sending mails to the people configured
in the "config" file in case of a failing build has to be kept for now.
> (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.
There's a way:
Each entry has a "devel" page with a status entry. Your entry is now
In the future I'm also planning to have this site generated on-demand
and hosted by the Jenkins server, including a nice history. (Build
results and timings will be stored in a proper database anyway.)
More information about the isabelle-dev