[isabelle-dev] Build NEWS

Florian Haftmann florian.haftmann at informatik.tu-muenchen.de
Mon Jun 13 19:10:57 CEST 2016

Is there any consolidated documentation »How to test changesets before
contributing« or the like?  I must confess that I don't even know where
to push changesets to, it is somewhere buried in my mailbox.

Thanks a lot,

Am 13.06.2016 um 08:55 schrieb Lars Hupel:
> Dear Isabelle developers,
> this is an update about recent and upcoming changes in the build
> infrastructure.
> * Starting with Isabelle/e0513d6e4916 and AFP/e67273333c33 I have moved
> the Jenkins build scripts into the Isabelle and AFP repository (they
> used to reside in a private "admin" repository). Each "build profile" is
> a separate Isabelle tool. In order to not pollute the global tool
> namespace, they are not enabled by default. If you want to run them
> yourself, the necessary setup is:
>   - in your personal etc/settings, add a line to init components from
>     "ci-extras" (not just from "main")
>   - register components "$ISABELLE_HOME/Admin/jenkins/build" and
>     "$AFP_BASE/jenkins"
> * New build hardware has arrived and will be provisioned over the next
> two weeks. I will start migrating jobs to the new hardware. This will
> bring build time for AFP (excl. "slow") down to about 90 minutes, from
> over 180 minutes before. There will be no more excuse not to use the
> testboard(s) liberally :-)
> * As pointed out by Larry, navigation on the Jenkins pages is a pain.
> I've revamped the status page with helpful links to the build outputs of
> the various jobs and instructions on how to use the testboard:
>   <https://ci.isabelle.systems/status/>
> Suggestions for additions welcome.
> * The AFP devel pages have not been regenerated in a while. I'm aware of
> this issue. Now that the build scripts are in the AFP repository and old
> afptest has been discontinued, I can start migrating the old
> configuration which generated these pages.
> Cheers
> Lars
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev


PGP available:

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: OpenPGP digital signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20160613/5122450b/attachment.sig>

More information about the isabelle-dev mailing list