Email Gateway (Aug 22 2022 at 12:51): Email Gateway (Aug 22 2022 at 12:51):From: Lars Hupel <hupel@in.tum.de>
Dear Isabelle users & developers,
as per the discussion on [isabelle-dev]* we created a new mailing list:
<https://mailman46.informatik.tu-muenchen.de/mailman/listinfo/isabelle-ci>
Starting soon, the Jenkins build will post build failures of Isabelle
and AFP (but not testboard!) to that list. It is not intended for
discussions, though; as usual, [isabelle-dev] should be used for that.
Everyone who has push access to the Isabelle repository should subscribe.
Everyone who has push access to one of the AFP repositories is
encouraged to subscribe.
Cheers
Lars
* <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/2016-January/006636.html>
Last updated: Apr 24 2024 at 16:18 UTC