Skip to content
Started 6 yr 3 mo ago
Took 51 min on built-in
Success

#1537 (Mar 22, 2018, 5:28:10 PM)

Changes
  1. tuned; (detail / hgweb)
  2. merged (detail / hgweb)
  3. provide tmp_dir for server session; (detail / hgweb)
  4. clarified signature: flexible base_dir; (detail / hgweb)
  5. clarified exported messages, e.g. suppress "information", "tracing";
    export "legacy_feature" as "warning", in accordance to console default output; (detail / hgweb)
  6. clarified signature: prefer selective include_sessions; (detail / hgweb)
  7. clarified signature: more uniform session_id; (detail / hgweb)
  8. clarified signature; (detail / hgweb)
  9. clarified signature: do not expose somewhat accidental internal options; (detail / hgweb)
  10. misc tuning and clarification; (detail / hgweb)
  11. more documentation; (detail / hgweb)
  12. clarified result; (detail / hgweb)
  13. tuned; (detail / hgweb)
  14. clarified error result, without JSON object from "session_build";
    clarified regular result; (detail / hgweb)
  15. proper order of matches: Server.Error is an instance of Exn.ERROR; (detail / hgweb)
  16. clarified result; (detail / hgweb)
  17. clarified markup according to common Command.Results; (detail / hgweb)

Started by an SCM change

This run spent:

  • 5 min 4 sec waiting;
  • 51 min build duration;
  • 56 min total from scheduled to completion.
Revision: 0b70405b39698f7ff3179869c7da76a8495925b3
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #1537( 50 min )Console Output
isabelle-repo-afpbuild #1537( 3 min 24 sec )Console Output