In the past 2 days the isabelle_cronjob could not connect to
https://isabelle.in.tum.de/repos/isabelle -- but it appears to work
most other hosts that I've tried. Maybe some odd change concerning SSL
certificates on the server vs. client side?
That's indeed strange. There was an issue with the machine lxbroy10, but
as far as I could tell, it only affected SSH access. (The issue has been
fixed by our ops this morning.)
isabelle-dev mailing list