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

#1513 (Mar 11, 2018, 4:16:06 PM)

Changes
  1. more options; (detail / hgweb)
  2. clarified default server name; (detail / hgweb)
  3. more uniform output: this may be parsed by another program; (detail / hgweb)
  4. clarified argument formats: explicit Unit, allow XML.Elem as well;
    tuned messages: prefer single quotes for JSON output; (detail / hgweb)
  5. tuned comments; (detail / hgweb)
  6. convenience to represent XML.Body as single XML.Elem; (detail / hgweb)
  7. clarified AFP partitioning; (detail / hgweb)

Started by an SCM change

This run spent:

  • 5 min 3 sec waiting;
  • 50 min build duration;
  • 55 min total from scheduled to completion.
Revision: 92cf045c876bddbfbeb95c85e6954b590ba3661b
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #1513( 50 min )Console Output
isabelle-repo-afpbuild #1513( 3 min 29 sec )Console Output