> over the weekend, there will be a scheduled maintenance on the build > infrastructure. As announced earlier, jobs will be migrated to a new > machine, but also the Jenkins server itself will move.
It took longer than anticipated, but on the plus side, I didn't have to cancel anything. Jenkins is now executing the bulk of the jobs on new hardware (44 cores!) with the following layout: - AFP: -j 8 -o threads=2 - makeall: -j 3 -o threads=2 - slow: -j 1 -o threads=8 For developers, nothing changed. URLs and repositories stay the same. Note that the domain "ci.isabelle.systems" already points to the new server, but DNS propagation might take a while. So it might very well be that you receive mails with links that don't work until tomorrow, 23th July 16:00 UTC. Thanks for your patience! Cheers Lars _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
