[isabelle-dev] Testboard

[Alexander Krauss]

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