[isabelle-dev] Jenkins updates

Lars Hupel hupel at in.tum.de
Mon Mar 21 21:30:46 CET 2016


> good catch. Apparently we ran into a bug which I didn't notice in the
> testing environment. I'm working on resolving it.

Looks like I could resolve this by scheduling manual builds.

Enjoy the blinking balls again :-)

Cheers
Lars



More information about the isabelle-dev mailing list