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

#886 (May 8, 2017, 12:07:04 AM)

Changes
  1. cpu time is somewhat redundant for threads=1;
    tuned output; (detail / hgweb)
  2. clarified description vs. file name; (detail / hgweb)
  3. tuned output; (detail / hgweb)
  4. clarified types; (detail / hgweb)
  5. more operations; (detail / hgweb)
  6. more uniform charts;
    tuned headings; (detail / hgweb)
  7. always show ml_timing -- in another chart; (detail / hgweb)
  8. removed threshold: redundant due to sorting; (detail / hgweb)
  9. tuned output; (detail / hgweb)
  10. parallel gnuplot invocation; (detail / hgweb)
  11. more HTML output; (detail / hgweb)
  12. clarified explicit Build_Status.Data operations;
    more HTML output; (detail / hgweb)
  13. more operations;
    tuned; (detail / hgweb)
  14. more uniform threads value, notably for Pure session; (detail / hgweb)
  15. tuned; (detail / hgweb)
  16. added option verbose for SQL source; (detail / hgweb)

Started by an SCM change

This run spent:

  • 5 min 1 sec waiting;
  • 55 min build duration;
  • 1 hr 0 min total from scheduled to completion.
Revision: c67bb109cd7b912fbc1bd9bcbbdf5d1b3c1ba0d1
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #886( 55 min )Console Output
isabelle-repo-afpbuild #886( 2 min 23 sec )Console Output