[isabelle-dev] Uses of Jenkins at TUM

Blanchette, J.C. j.c.blanchette at vu.nl
Mon Apr 24 17:47:12 CEST 2017


> On 24 Apr 2017, at 17:12, Andreas Lochbihler <andreas.lochbihler at inf.ethz.ch> wrote:
> 
> Sure. Whenever I have to push something to the Isabelle repository, I use the Jenkins testboard installation to see whether something broke. It works more reliably than the previous testboard infrastructure, which often ignored some commits.

The same applies to me (VU Amsterdam), and I believe Mathias Fleury (MPII Saarbr├╝cken) is also a heavy user of Testboard when he modifies Isabelle (e.g. the multiset library).

From a pure basic user's perspective, I don't see much of a difference between Mira and Jenkins. To me it's just Testboard, and most of the time it works, and then I'm happy. Sometimes Mathias just sends me a link to a patch he's pushed to Testboard for me to review, before he pushes it to Isabelle. That's also very useful.

Jasmin




More information about the isabelle-dev mailing list