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,
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
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
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
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