[isabelle-dev] Grouping ISABELLE_FULL_TEST?

[Lars Hupel]

> 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