[isabelle-dev] Maintenance work on Jenkins VM
hupel at in.tum.de
Sat Jan 30 21:52:00 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.
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