[isabelle-dev] Jenkins updates

Lars Hupel hupel at in.tum.de
Mon Mar 21 21:20:14 CET 2016

Hi Dmitriy,

> thanks for your work. Unfortunately, currently pushing to testboard/isabelle does not seem to trigger new builds. Is this related to the job renamings?

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


More information about the isabelle-dev mailing list