[isabelle-dev] Maintenance work on Jenkins VM

[Lars Hupel]

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:

  <https://bitbucket.org/isa-afp/afp-testboard>

Same rules as for the Isabelle testboard apply.

The corresponding job is:

  <https://ci.isabelle.systems/jenkins/job/afp_testboard-checkin/>

Cheers
Lars