[isabelle-dev] Mail on build failures

Gerwin Klein Gerwin.Klein at nicta.com.au
Sun Jan 31 23:41:25 CET 2016

isabelle-dev is probably too wide, no everyone on this list will want to get CI notifications.

An isabelle-ci list would be good, I think. It’ll be easier to filter. The AFP test results should probably go there too (in addition to the single author/maintainer notification when they are ready again).


> On 1 Feb 2016, at 08:29, Lars Hupel <hupel at in.tum.de> wrote:
> Dear Isabelle and AFP developers,
> currently, isatest and afptest send build failure notifications to
> specific people specified in a global list (isatest) or per entry
> (afptest). How should this work in the future?
> For isatest, I don't think this global list makes much sense. Rather
> failures could get sent to the [isabelle-dev] or a new [isabelle-ci]
> mailing list.
> For afptest, the current scheme probably works well. I can try to
> replicate it, but it's going to take me a while.
> Opinions?
> Cheers
> Lars
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev


The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.

More information about the isabelle-dev mailing list