> On 24 Apr 2017, at 17:12, Andreas Lochbihler <andreas.lochbih...@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

_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

Reply via email to