Started 1 day 5 hr ago
Took 1 hr 15 min on workermtahpc

Success Build #170 (Feb 15, 2019 8:15:12 PM)

Build Artifacts
Changes
  1. expose generic setup of ML_File (detail / hgweb)
  2. clarified meta_digest: export_files is a directive for physical output from existing build database; (detail / hgweb)
  3. clarified 'export_files' in session ROOT: require explicit "isabelle build -e";
    tuned messages; (detail / hgweb)
  4. clarified name; (detail / hgweb)
  5. more operations; (detail / hgweb)
  6. more operations; (detail / hgweb)
  7. support for RDF/XML representation; (detail / hgweb)
  8. tuned according to Scala version; (detail / hgweb)
  9. support for XML name spaces; (detail / hgweb)
  10. uniform XML header; (detail / hgweb)

Started by an SCM change

This run spent:

  • 8.7 sec waiting;
  • 1 hr 15 min build duration;
  • 1 hr 15 min total from scheduled to completion.
Revision: cf706a3380f4a96d6463b6a63874fcf149be719a