[isabelle] New mailing list: isabelle-ci



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>




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.