[isabelle-dev] Maintenance work on Jenkins VM
Dmitriy Traytel
traytel at inf.ethz.ch
Wed Feb 17 09:14:13 CET 2016
Hi Lars,
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.
Dmitriy
> 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:
>
> <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
More information about the isabelle-dev
mailing list