[isabelle-dev] Jenkins maintenance

[Lars Hupel]

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.

Cheers
Lars