Started 11 hr ago
Took 3 hr 31 min on master

Success Build #1419 (Jan 18, 2018 6:22:02 PM)

Changes
  1. moved from AFP/Gromov (detail / hgweb)
  2. moved t3/t4 space from AFP/Gromov to here. (detail / hgweb)

Started by an SCM change

This run spent:

  • 5 min 0 sec waiting in the queue;
  • 3 hr 31 min building on an executor;
  • 3 hr 36 min total from scheduled to completion.
Revision: fe6bcf0137b4b4f326aea7fed55889caaa25e23c
[Phase] - main
isabelle-repo-makeallbuild #1419( 58 min ) Console Output
isabelle-repo-afpbuild #1419( 1 hr 39 min ) Console Output