[isabelle-dev] Jenkins maintenance
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