[isabelle-dev] Mail on build failures

[Florian Haftmann]

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.

	Florian

> 
> Cheers,
> Gerwin
> 
>> 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.
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
> 

-- 

PGP available:
http://isabelle.in.tum.de/~haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 836 bytes
Desc: OpenPGP digital signature
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20160203/1748d55f/attachment.asc>