> I have now done this in Isabelle/705d4c4003ea. > > It means that ISABELLE_FULL_TEST no longer occurs in the main Isabelle > repository. The extra slow sessions are in ~~/src/Benchmarks, and only > tested by special background jobs that take care of that. (Presently none!)
Thanks. I will add a job to the Jenkins during the next maintenance window (some time next week). With the current state of the instrumentation, I need to shut down Jenkins for most kinds of changes. Unfortunately that means I can't deploy a benchmark job right now. (This will also change during the next maintenance window.) Cheers Lars _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
