Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] AFP submission site is unavailable?

Email Gateway (Aug 22 2022 at 13:27):

From: Lukas Bulwahn <lukas.bulwahn@gmail.com>
Dear core Isabelle maintainers,

I was trying to submit a new AFP submission over the new web interface
on https://www.isa-afp.org/submitting.shtml.

I followed the link on "via this webpage" in the first sentence to
https://ci.isabelle.systems/afp-submission/, but then received an
ERROR 503 in my browser and in my command line (to make sure it is not
an obscure browser issue):

wget https://ci.isabelle.systems/afp-submission/

--2016-06-23 21:55:26--  https://ci.isabelle.systems/afp-submission/
Resolving ci.isabelle.systems... 131.159.46.85
Connecting to ci.isabelle.systems|131.159.46.85|:443... connected.
HTTP request sent, awaiting response... 503 Service Unavailable
2016-06-23 21:55:26 ERROR 503: Service Unavailable.

I assume the maintainers are aware, I just wanted to point it out, in
case you were not.

[Handling CI systems appear to be these reappearing software
engineering miracles:
first, you have ONE software maintenance problem, so you set up a CI
system, and then, you end up with TWO software maintenance problems ;)
Still CI systems are great when they work :)]

Thanks in advance for the hard maintenance work.

Best regards,

Lukas

Email Gateway (Aug 22 2022 at 13:27):

From: Lars Hupel <hupel@in.tum.de>
Hi Lukas,

I assume the maintainers are aware, I just wanted to point it out, in
case you were not.

I was not – thanks for the report. I'll look into it.

Cheers
Lars

Email Gateway (Aug 22 2022 at 13:28):

From: Lars Hupel <hupel@in.tum.de>

1. User reports problem
2. Find cause in < 1 minute
3. System is down anyway, might as well roll out minor change
4. Screw up royally
5. Reprovision the whole AFP server

Sorry about that. The provisioning scripts are running right now. I
expect the system to be back in about an hour.

Cheers
Lars

Last updated: Apr 18 2024 at 16:19 UTC