[isabelle-dev] Jenkins reconfiguration

[Lars Hupel]

Dear Isabelle developers,

you may have already noticed that some Jenkins jobs got reconfigured.

The following changes are relevant for developers:

- The new job "isabelle-all" runs Isabelle+AFP together, incrementally.
This should improve overall performance and avoid double builds. There
is, once again, an automatic "grace period" of 2 minutes to allow
simultaneous Isabelle+AFP changes to be pushed before a build starts.
<https://ci.isabelle.systems/jenkins/job/isabelle-all/>

- The jobs "afp-repo" and "isabelle-repo" and subjobs will disappear
from the front page and the status page soon. Old links will continue to
work (i.e. historic builds will not be deleted).

- The "testboard" job will also be replaced to run Isabelle+AFP
together. Historic builds will be deleted, as they are not relevant for
the official history.

Some display changes:

Jenkins will show a failure summary on the link that is in the email
(example in the attachment).

There are more changes related to the testboard in the pipeline.

Cheers
Lars
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Screenshot_20180628_113738.png
Type: image/png
Size: 58947 bytes
Desc: not available
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20180628/0f128e1a/attachment-0001.png>