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 <hu...@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 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
