[isabelle-dev] Jenkins downtime

Lars Hupel hupel at in.tum.de
Fri May 20 11:44:41 CEST 2016

Dear list,

the build services will be offline this weekend. I will perform some
regular maintenance, but first and foremost I will flip on the mails
again. isatest and afptest will be disabled for good.

AFP maintainers (= people who have their mail address in a config file)
might receive some spurious mails should something go wrong during
testing. I apologize for that and try very hard to keep these at a
minimum. They will use some "isabelle.systems" (sub)domain as a sender
address in case you want to filter them in your mail client.

I will send another update on Monday when the upgrades went through.

Note that the plan to re-purpose macbroy2 has been delayed, because
there are some critical use cases which can't be migrated yet.


More information about the isabelle-dev mailing list