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
