[isabelle-dev] An experience report on the testboard

[Lars Hupel]

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

Cheers
Lars