[isabelle-dev] Maintenance work on Jenkins VM

[Lars Hupel]

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