[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.

definitely possible, pending a Scala script which performs this:
<http://thread.gmane.org/gmane.science.mathematics.logic.isabelle.user/12393>.
Otherwise, we'd needlessly run HOL-Proofs in the AFP testboard.

We'd also need to find a location for the repository.

Cheers
Lars