[isabelle-dev] Testboard

Alexander Krauss krauss at in.tum.de
Wed Oct 2 00:09:59 CEST 2013


On 09/27/2013 11:49 AM, Lars Noschinski wrote:
> It might be a good idea to implement a strategy which tests the existing
> heads in reverse chronological order (commits pushed last get tested
> first), but I am not sure whether this information is available in
> Mercurial (we have the commit date, but this is not necessarily related
> to the push-date).

Such a strategy is easy to implement for a single repository. But for 
multiple repositories (Isabelle+AFP) there is no useful notion of heads 
(The obvious lifting to products does work theoretically, but not 
practically, since there are just too many of them...)

Alex



More information about the isabelle-dev mailing list