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

[Tobias Nipkow]

Fabian, great job, many thanks!

Tobias

On 09/07/2024 16:22, Fabian Huch wrote:
> 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.
> 
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4950 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20240709/bda9a03a/attachment.bin>