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 <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
>
--
PGP available:
http://isabelle.in.tum.de/~haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
