[isabelle-dev] Maintenance work on Jenkins VM
hupel at in.tum.de
Wed Feb 17 00:22:11 CET 2016
> 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