[isabelle-dev] Jenkins SPAM reduction

[Makarius]

Jenkins sends lots of mails, and I find it hard to pay attention to them
at all. Even when I do look, the long message body makes it hard to find
the key points: What failed? Why did it fail?

Moreover, Isabelle + AFP get naturally out of sync, because pushes on
AFP are often done later, but Jenkins assumes them to be very close.


How about this:

  * Tests are run less often, e.g. 2-3h after a push and including all
later pushes in that time interval. This reduces test runs and increases
chances that Isabelle + AFP correspond correctly when Jenkins makes a
snapshot.

  * Mails are sent only once per day, as a summary of broken sessions at
the end of the day, not every intermediate state.


If Jenkins were more like a queue management system, it could probably
also provide immediate feedback to the person who pushed something
broken to it.


	Makarius