[isabelle-dev] Mail on build failures

Lars Hupel hupel at in.tum.de
Sun Jan 31 22:29:04 CET 2016

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.



More information about the isabelle-dev mailing list