[isabelle-dev] Jenkins reconfiguration

Lars Hupel hupel at in.tum.de
Fri Jun 29 16:36:41 CEST 2018

> - The "testboard" job will also be replaced to run Isabelle+AFP
> together. Historic builds will be deleted, as they are not relevant for
> the official history.

I have implemented this now. I'm currently monitoring the situation, but
so far, it seems like this sped up the process overall.

More information about the isabelle-dev mailing list