[isabelle-dev] Announcing the Isabelle Build Manager: https://build.proof.cit.tum.de

[Fabian Huch]

I am pleased to announce that we have new infrastructure for our build 
management (replacing Jenkins/testboard):

   https://build.proof.cit.tum.de

Users can submit builds with the 'isabelle build_task' tool (see NEWS); 
this requires ssh access to the build.proof.cit.tum.de server. Builds 
are run on a cluster of fast machines, so waiting times are much lower 
than before -- e.g., under 10 minutes to build all sessions in the 
Isabelle distribution.

Anyone with access to the Isabelle repository should have access; you'll 
likely have to connect manually once for host key verification.

We currently have two automated jobs:

-  "all", which triggers on new commits and builds the AFP without very 
slow sessions on the cluster.

- "presentation", which performs a full clean build of Isabelle+AFP, 
including presentation and generating the https://devel.isa-afp.org site.


Enjoy!


Fabian


P.S. Unfortunately we do have many failures in the AFP currently -- the 
reason is that smt does not work very reliably under heavy load.