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
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
