[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