[isabelle-dev] Jenkins reconfiguration

[Makarius]

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
through.


	Makarius