[isabelle-dev] An experience report on the testboard
florian.haftmann at informatik.tu-muenchen.de
Tue Jul 5 19:43:09 CEST 2016
Am 04.07.2016 um 23:49 schrieb Lars Hupel:
>> The problem I was referring to is that in order to get a deeper idea
>> what's going on you want to have a look at the topology of the history.
>> However I guess this is closely related to my surprise that not both
>> patches to distro and AFP pushed in proximity have been considered as
>> one build job. So maybe this is not important.
> Sorry, I don't understand. You push some changeset and Jenkins will tell
> you exactly which Mercurial id is the current tip. What else do you need?
You may ignore my confusion safely.
> Right. That would be easier under the presence of a good
> "testboard_submit" command.
> As I alluded to in my earlier email this is all well within the realm of
> possibility (even platform-independent desktop notifications upon
> completion), but it requires some dedicated implementation effort.
What I see from this thread is that at some time we really have to talk
about official build orders with respective hg ids, either using
subrepos or whatever.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 819 bytes
Desc: OpenPGP digital signature
More information about the isabelle-dev