[isabelle-dev] Maintenance work on Jenkins VM

Lars Hupel hupel at in.tum.de
Sat Jan 30 12:51:35 CET 2016

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


More information about the isabelle-dev mailing list