Quoting Alexander Krauss <kra...@in.tum.de>:
- Missing email notification
Here is some room for discussion: What would be a good notification
scheme? Since tests are now run continuously, sending an email after
each run is not really an option. Should we simply go for a daily
summary? More sophisticated options are possible (e.g., notify the
author of a broken changeset when all its parents are working), but
these require some thought.
Continuous integration servers (such as Jenkins,
http://jenkins-ci.org/) normally send e-mails to interested parties
when a build breaks and when it goes back to normal. They can also
send e-mails to culprits who broke the build, but I have not used that
yet.
Clemens
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
