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.
Andreas
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-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
