[isabelle-dev] An experience report on the testboard
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.
> 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