[isabelle-dev] Testboard

Peter Lammich lammich at in.tum.de
Fri Sep 27 09:16:21 CEST 2013


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?


More information about the isabelle-dev mailing list