Email Gateway (Aug 22 2022 at 17:06): Email Gateway (Aug 22 2022 at 17:06):From: Lars Hupel <hupel@in.tum.de>
Dear Isabelle users and developers,
because of upstream infrastructure changes, emails may not have been
sent by various Isabelle services, including the AFP submission service.
I'm currently investigating this problem.
Last confirmed email has been sent on March 22. According to the log
files, no entry has been submitted since that day.
Some emails from failing AFP sessions have definitely been missed, though.
I'll update you once this is working again.
Cheers
Lars
Email Gateway (Aug 22 2022 at 17:09):From: Lars Hupel <hupel@in.tum.de>
I'll update you once this is working again.
The problem should be resolved now.
Last updated: Apr 18 2024 at 20:16 UTC