On 10/19/2012 04:23 PM, Tjark Weber wrote:
Hi Lukas,
On Tue, 2012-10-16 at 18:23 +0200, Lukas Bulwahn wrote:
the testboard was repeatedly breaking down today---and I restarted it
multiple times to keep the illusion of a stable environment. I will
investigate tomorrow what is going wrong. Until then, I'll try my best
restarting it after a break-down as fast as possible.
I tried using the testboard (for the first time actually) by pushing
some changesets, and I am not sure they actually got tested: the three
status indicator circles are gray, and there is no "running" indicator.
Is this the expected behavior?
I was not successful on Wednesday with my investigations and delegated
it to Lars on Thursday and Friday.
At the point of your push, the testboard did not run correctly. I don't
know what happened on the weekend and who touched the subject, but it
apparently works again today.
Let's hope for the best that it works the next time you push some changes.
You did everything correctly, and usually you would see green or red
lights indicates success or failure, respectively.
Lukas
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
