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