[isabelle-dev] Uses of Jenkins at TUM

Makarius makarius at sketis.net
Mon Apr 24 14:46:11 CEST 2017


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


More information about the isabelle-dev mailing list