[isabelle-dev] Jenkins reconfiguration
hupel at in.tum.de
Thu Jun 28 11:41:58 CEST 2018
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.
- 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.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 58947 bytes
Desc: not available
More information about the isabelle-dev