[isabelle-dev] An experience report on the testboard

[Gerwin Klein]

> On 5 Jul 2016, at 16:15, Lars Hupel <hupel at in.tum.de> wrote:
>
>> Another way of getting simultaneous tests would be to use subrepos. I.e.
>>
>> test-repo/
>>   isabelle/ (subrepo)
>>   afp/      (subrepo)
>>
>> The trigger would then be the push to test-repo, not to any of the subrepos, and you would get a predictable combination as well.
>
> Right, that's one option. I still consider that to need glue code,
> because you really don't want users to have to perform three pushes and
> an additional commit. Knowing myself I would only use that sort of
> workflow if it were automated.

True. That glue code could be local in that repo, though.

Cheers,
Gerwin

________________________________

The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.