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). Cheers, Gerwin > On 1 Feb 2016, at 08:29, Lars Hupel <hu...@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-...@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. _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
