Skip to content
Started 7 yr 1 mo ago
Took 2 hr 7 min on built-in
Success

#917 (May 23, 2017, 12:56:20 AM)

Changes
  1. less ambitious parallelism to make this work more robustly on Windows; (detail / hgweb)

Started by an SCM change

This run spent:

  • 5 min 3 sec waiting;
  • 2 hr 7 min build duration;
  • 2 hr 12 min total from scheduled to completion.
Revision: 637d18b325d0dd79bdf0b554724d7e203c8565ac
SRJobBuild #DurationConsole
main
isabelle-repo-afpbuild #917( 2 min 14 sec )Console Output
isabelle-repo-makeallbuild #917( 53 min )Console Output