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

#1646 (May 11, 2018, 9:13:05 PM)

Changes
  1. guard result exports via export_pattern -- avoid bombing client via huge blobs; (detail / hgweb)
  2. tuned; (detail / hgweb)
  3. clarified output: avoid costly operations on huge blobs; (detail / hgweb)
  4. unused; (detail / hgweb)
  5. more scalable -- avoid huge lines within stdout; (detail / hgweb)
  6. slightly more ambitious parallelism (again); (detail / hgweb)
  7. more scalable API; (detail / hgweb)

Started by an SCM change

This run spent:

  • 5 min 3 sec waiting;
  • 1 hr 45 min build duration;
  • 1 hr 50 min total from scheduled to completion.
Revision: 619de043389fda7a08361623e60e62bffaccacd4
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #1646( 58 min )Console Output
isabelle-repo-afpbuild #1646( 1 hr 45 min )Console Output