Started 1 hr 49 min ago
Build has been executing for 1 hr 49 min
on workermtahpc
Progress:
Progress: |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent 3 min 29 sec waiting in the queue. | |
Revision: e10ef4f9c84847ac381ee7fe6775257bbd27b69a | |
Revision: 068d4f8c4523d5e1078e1619111dae4057345401 |