[isabelle-dev] Jenkins maintenance

Lars Hupel hupel at in.tum.de
Fri Jun 17 12:06:27 CEST 2016

Dear Isabelle developers,

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. That means that
for some time,

- jobs may be run on two different machines at the same time,
- there might be spurious failures and cancelled jobs, and
- there might be duplicated mails.

You can continue to use the testboard, but be prepared that I might have
to cancel jobs mid-move.


More information about the isabelle-dev mailing list