[isabelle-dev] Jenkins maintenance

Tobias Nipkow nipkow at in.tum.de
Thu Oct 6 17:03:51 CEST 2016


Sorry, I don't consider them useless.

Tobias

On 06/10/2016 17:00, Makarius wrote:
> This is actually my main point of criticism for the present situation:
> the Jenkins setup uses a lot of hardware resources, by doing too many
> useless tests.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5135 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20161006/5905414c/attachment.bin>


More information about the isabelle-dev mailing list