[isabelle-dev] Maintenance work on Jenkins VM

Lars Hupel hupel at in.tum.de
Sat Jan 30 21:52:00 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.

definitely possible, pending a Scala script which performs this:
Otherwise, we'd needlessly run HOL-Proofs in the AFP testboard.

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


More information about the isabelle-dev mailing list