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
> 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).
More information about the isabelle-dev