[isabelle] AFP submission site is unavailable?
Dear core Isabelle maintainers,
I was trying to submit a new AFP submission over the new web interface
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):
--2016-06-23 21:55:26-- https://ci.isabelle.systems/afp-submission/
Resolving ci.isabelle.systems... 220.127.116.11
Connecting to ci.isabelle.systems|18.104.22.168|: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
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.
This archive was generated by a fusion of
Pipermail (Mailman edition) and