> On 16 Feb 2016, at 11:30, Makarius <makar...@sketis.net> wrote: > > On Tue, 16 Feb 2016, Dmitriy Traytel wrote: > >> I am unsure if an Isabelle tool is the right level of abstraction for an >> operation, only members of the isabelle (UNIX) group at TUM can/should >> execute. > > BTW, the Isabelle tool name space is not hardwired. Any "component" can add > new tool directories by augmenting ISABELLE_TOOLS. > > So there could be a "testboard" component to abstract whatever needs to be > abstracted.
I see. Then I am in favor of a “non-main” component that provides a tool which starts a new test job (either via plain push -f as before, or something complicated involving new repositories but also supporting mq-patches). Dmitriy _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
