[isabelle-dev] Maintenance work on Jenkins VM

Dmitriy Traytel traytel at inf.ethz.ch
Sat Jan 30 20:57:31 CET 2016


Hi Lars,

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,
Dmitriy

> 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
> Isabelle
> - 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
> 
> Cheers
> Lars
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev




More information about the isabelle-dev mailing list