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 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev