> On 5 Jul 2016, at 16:15, Lars Hupel <hu...@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. _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
