[isabelle-dev] Maintenance work on Jenkins VM

Lars Hupel hupel at in.tum.de
Wed Feb 17 00:22:11 CET 2016

Hi Dmitriy,

> What about having an additional afp_testboard repository where one 
> could also push -f changes. I am particularly interested in “slow” 
> sessions there.

for now I've created a job which runs everything but the slow sessions
(so not quite what you wanted). The repository is:


Same rules as for the Isabelle testboard apply.

The corresponding job is:



More information about the isabelle-dev mailing list