[isabelle-dev] Distro broken

Makarius makarius at sketis.net
Fri Oct 21 16:36:34 CEST 2016

On 20/10/16 10:19, Tobias Nipkow wrote:
> We never promised that the new test infrastructure would guarantee that
> nobody will break the repository anymore. You are perfectly aware of
> this. So stop trolling.

> On 19/10/2016 13:52, Makarius wrote:
>> On 19/10/16 13:38, Lars Hupel wrote:
>>> Oh, nothing went wrong: Jenkins sent an email immediately after the
>>> push, and the status page also indicated the failure. Automation working
>>> as expected.

>> The open question is if the massive use of CPU resources by Jenkins is
>> justified to deliver its service. It is still unclear to me what this
>> service is in the first place.

Anybody wants to start a proper discussion on that?

When I asked Lars Hupel some months ago, he said I should open a thread
on the mailing list.


More information about the isabelle-dev mailing list