[isabelle-dev] An experience report on the testboard

Gerwin Klein Gerwin.Klein at nicta.com.au
Tue Jul 5 09:21:25 CEST 2016

> 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.



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.

More information about the isabelle-dev mailing list