Dear Isabelle developers, tonight between 20:00 UTC and 22:00 UTC there will be a maintenance window for the Jenkins instance.
No new build will be scheduled after 14:00 UTC. This ensures that nothing is running during the window. You can still push to testboard, but nothing will happen. I kindly ask to refrain from pushing to the official repositories until after 22:00 UTC. During the window I hope to be able to make changes which makes it less likely that I have to take the system offline to make changes in the future. It might become necessary for me to send test mails to the newly established [isabelle-ci] mailing list. I apologize in advance for the noise. Cheers Lars _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev