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
