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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
