[isabelle-dev] Isatest

[Tobias Nipkow]

Sounds like a sensible idea to avoid test failures to go unnoticed.

Tobias

Am 28/03/2012 20:45, schrieb Florian Haftmann:
> Hi all,
> 
> Once there has been the idea that everyone having commit access to the
> Isabelle master repository (POSIX group isabelle at nfsbroy) is also a
> isatest subscriber.
> 
> Maybe it would be helpful to establish this as a rule (at least of
> thumb).  Isatest mails can still be sorted out by local email filters.
> 
> What do you think?
> 
> Maybe in the future with mira taking over more and more realm from
> isatest, one could invent a more clever mechanism, e.g. only mail
> authors of critical changesets – which, by the way, should not be that
> difficult to implement as it is now.
> 
> Cheers,
> 	Florian
> 
> 
> 
> 
> This body part will be downloaded on demand.