[isabelle-dev] Testboard

Lars Noschinski noschinl at in.tum.de
Fri Sep 27 11:49:47 CEST 2013


On 27.09.2013 09:16, Peter Lammich wrote:
> I pushed on testboard 19 hours ago, and my push (36cf426cb1c6) currently
> only shown as 1/3 processed. Now, testboard seems to have stopped
> processing it ... however, many later pushs have already run through
> completely.
>
> What's the strategy to get your push on testboard processed within
> reasonable time?

Basically Mira is just watching the repository. If a test run finishes, 
it looks at the repository, takes the "tip" and tests it (if it was not 
already tested). In particular, this means that later pushes can take 
the focus away from your pushes.

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).

   -- Lars



More information about the isabelle-dev mailing list