[isabelle-dev] Jenkins maintenance window
traytel at inf.ethz.ch
Tue Feb 16 11:38:57 CET 2016
> 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).
More information about the isabelle-dev