On 18/07/18 22:31, Lars Hupel wrote: >> 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.)
I've seen the lxbroy10 problem in the logs as well, but that happens occasionally and it later works again. So far I have no clue why a particular virtual Ubuntu 16.04 cannot connect to https://isabelle.in.tum.de while other websites work. (There is no need for further action right now.) Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev