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.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
