[isabelle-dev] Jenkins maintenance window

[Dmitriy Traytel]

> On 16 Feb 2016, at 11:30, Makarius <makarius at 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