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-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
