Re: [isabelle-dev] Distro broken

2016-10-21 Thread Makarius
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,

Re: [isabelle-dev] Distro broken

2016-10-20 Thread Tobias Nipkow
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. Tobias On 19/10/2016 13:52, Makarius wrote: On 19/10/16 13:38, Lars Hupel wrote: Oh, nothing went wrong: Jenkins sent an

Re: [isabelle-dev] Distro broken

2016-10-19 Thread Makarius
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. But that did not help. Florian experienced the broken repository just in the way it occasionally

Re: [isabelle-dev] Distro broken

2016-10-19 Thread Lars Hupel
Oh, nothing went wrong: Jenkins sent an email immediately after the push, and the status page also indicated the failure. Automation working as expected. Cheers Lars On 19 October 2016 11:11:21 CEST, Makarius wrote: >> Am Dienstag, den 18.10.2016, 20:40 +0200 schrieb

Re: [isabelle-dev] Distro broken

2016-10-18 Thread Johannes Hölzl
My bad, should be fixed now.  - Jo Am Dienstag, den 18.10.2016, 20:40 +0200 schrieb Florian Haftmann: > > > > isabelle: fb5c74a58796 tip > > afp: c03838321f2a tip > > *** No such file: > > "/mnt/home/haftmann/data/tum/isabelle/devel/src/HOL/Probability/Ess > > ential_Supremum.thy" > > *** The