[isabelle-dev] Jenkins reconfiguration

Makarius makarius at sketis.net
Mon Jul 2 13:47:16 CEST 2018

On 29/06/18 19:31, Lars Hupel wrote:
>> Does it mean that the great new hardware is now locked up and
>> exclusively available for Jenkins?
> That assessment is accurate.

That is bad.

It means that the development process will continue to decline, as we
have seen in the past few years -- it can be indirectly see by the
decreasing number of changes, substantial reforms etc. that were pushed


More information about the isabelle-dev mailing list