[isabelle-dev] An experience report on the testboard

Lars Hupel hupel at in.tum.de
Tue Jul 5 08:15:15 CEST 2016

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


More information about the isabelle-dev mailing list