[isabelle-dev] Maintenance work on Jenkins VM
traytel at inf.ethz.ch
Sat Jan 30 20:57:31 CET 2016
great to hear!
What about having an additional afp_testboard repository where one could also push -f changes. I am particularly interested in “slow” sessions there.
Thanks for your work,
> On 30 Jan 2016, at 12:51, Lars Hupel <hupel at in.tum.de> wrote:
> Dear list,
> I'm currently performing maintenance work on the Jenkins VM. The
> following things are planned for today:
> - running makeall and AFP (without "slow" sessions) on every push to
> - running slow sessions nightly
> - utilize 4 workers (8 cores, 64 GB each) from the LRZ
> I've already tested the above configuration locally and am currently
> applying it to the production CI server.
> If that works out fine, I will additionally deploy the following jobs:
> - running AFP (without "slow" sessions) on every push to AFP
> - running everything on every push to testboard
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
More information about the isabelle-dev