[isabelle-dev] Mail on build failures
florian.haftmann at informatik.tu-muenchen.de
Wed Feb 3 19:01:19 CET 2016
Am 31.01.2016 um 23:41 schrieb Gerwin Klein:
> 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).
I have also slight inclination towards isabelle-ci.
isabelle-ci should be a superset of all people having push access to
either the Isabelle or the AFP repo.
>> 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.
>> isabelle-dev mailing list
>> isabelle-dev at in.tum.de
> 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-dev at in.tum.de
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 836 bytes
Desc: OpenPGP digital signature
More information about the isabelle-dev