[isabelle-dev] Jenkins reconfiguration
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