In the past 2 days the isabelle_cronjob could not connect to
https://isabelle.in.tum.de/repos/isabelle -- but it appears to work from
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.)

Lars
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

Reply via email to