[isabelle-dev] Uses of Jenkins at TUM

Andreas Lochbihler andreas.lochbihler at inf.ethz.ch
Mon Apr 24 17:12:53 CEST 2017

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.


On 24/04/17 14:46, Makarius wrote:
> This is another attempt to open a discussion about Jenkins at TUM.
> Are there users of it outside the TUM group?
> What is good about it? What is bad about it?
> 	Makarius
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

More information about the isabelle-dev mailing list