[isabelle-dev] Maintenance work on Jenkins VM
traytel at inf.ethz.ch
Wed Feb 17 09:14:13 CET 2016
even without the slow sessions, this is of great help. Thanks!
My commit yesterday (isabelle/ae44f16dcea5) broke some AFP entries (because without the afp_testboard, I used to follow the "break it, fix it” philosophy w.r.t. AFP). I will repair those today.
> On 17 Feb 2016, at 00:22, Lars Hupel <hupel at in.tum.de> wrote:
> 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:
> Same rules as for the Isabelle testboard apply.
> The corresponding job is:
More information about the isabelle-dev