[isabelle-dev] Jenkins reconfiguration

Lars Hupel hupel at in.tum.de
Fri Jun 29 19:31:23 CEST 2018

Previous message (by thread): [isabelle-dev] Jenkins reconfiguration
Next message (by thread): [isabelle-dev] Isabelle build only works in certain directories
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

> Does it mean that the great new hardware is now locked up and
> exclusively available for Jenkins?

That assessment is accurate.

Previous message (by thread): [isabelle-dev] Jenkins reconfiguration
Next message (by thread): [isabelle-dev] Isabelle build only works in certain directories
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list