[isabelle-dev] Testboard

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


Hi,

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?


--
  Peter



More information about the isabelle-dev mailing list