Hi Lars, great to hear!
What about having an additional afp_testboard repository where one could also push -f changes. I am particularly interested in “slow” sessions there. Thanks for your work, Dmitriy > On 30 Jan 2016, at 12:51, Lars Hupel <hu...@in.tum.de> wrote: > > Dear list, > > I'm currently performing maintenance work on the Jenkins VM. The > following things are planned for today: > > - running makeall and AFP (without "slow" sessions) on every push to > Isabelle > - running slow sessions nightly > - utilize 4 workers (8 cores, 64 GB each) from the LRZ > > I've already tested the above configuration locally and am currently > applying it to the production CI server. > > If that works out fine, I will additionally deploy the following jobs: > > - running AFP (without "slow" sessions) on every push to AFP > - running everything on every push to testboard > > Cheers > Lars > _______________________________________________ > isabelle-dev mailing list > isabelle-...@in.tum.de > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev