Stream: General

Topic: What happened to isabelle.systems?

Asta Halkjær From (Aug 13 2024 at 13:35):

Did the domain expire or something?
I tried to view Jenkins via ci.isa-afp.org instead, but that just redirects to ci.isabelle.systems. Is there another way to see the build server?

Fabian Huch (Aug 13 2024 at 13:42):

Those are really three different questions:

• the domain (owned by Lars Hupel, supposed to be transferred) is currently in an unclear status.
• the Jenkins no longer exists (there is a Isabelle-based build server now, generally reachable under build.proof.cit.tum.de).
• actually, most TUM servers are down currently as the cooling aggregates blew up. We expect a temporary solution to be in effect tomorrow night (but who knows how long that actually takes).

Asta Halkjær From (Aug 13 2024 at 14:09):

Thanks for the three answers!

Fabian Huch (Aug 22 2024 at 07:26):

For the record, all of these work again.

Last updated: Dec 21 2024 at 12:33 UTC