[isabelle-dev] Mail on build failures
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]
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