Started 31 min ago
Build has been executing for 31 min on master

Progress:
In progress Build #1682 (May 24, 2018 3:05:18 PM)

Changes
  1. reorganization, everything based on Tree2 now (detail / hgweb)

Started by an SCM change

This run spent 21 min waiting in the queue.

Revision: 035c78bb0a6675e8b5e9c5b42daa6410b353c1a0
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #1682( 31 min and counting )Console Output
isabelle-repo-afpbuild #1682( 11 min )Console Output