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

#900 (May 14, 2017, 10:43:07 PM)

Changes
  1. merged (detail / hgweb)
  2. tuned signature; (detail / hgweb)
  3. style for <dl> that is reminiscent of LaTeX; (detail / hgweb)
  4. more systematic HTML.init_dir with css; (detail / hgweb)
  5. prefer logical markup; (detail / hgweb)
  6. extra space only for some structual elements, but not <a>, <b>, <em> etc. (amending 8a0fe5469ba0); (detail / hgweb)
  7. tuned signature; (detail / hgweb)
  8. implicitly check for unknown files (not part of a Mercurial repository); (detail / hgweb)
  9. prefer explicit progress channel; (detail / hgweb)
  10. prefer explicit progress channel; (detail / hgweb)
  11. more explicit warning/error messages; (detail / hgweb)
  12. tuned signature; (detail / hgweb)
  13. tuned; (detail / hgweb)
  14. clarified interface; (detail / hgweb)
  15. more robust command invocation, without defaults from hgrc; (detail / hgweb)
  16. clarified: repository files before commit; (detail / hgweb)
  17. eliminated suspicious Unicode; (detail / hgweb)
  18. clarified notion of known files (before actual commit); (detail / hgweb)
  19. explore older history; (detail / hgweb)
  20. explicit history_base; (detail / hgweb)
  21. explore repository structure, with minimal assumptions about "hg log" output; (detail / hgweb)
  22. avoid hardlinks, for more robustness on Windows file-systems; (detail / hgweb)

Started by an SCM change

This run spent:

  • 5 min 3 sec waiting;
  • 58 min build duration;
  • 1 hr 3 min total from scheduled to completion.
Revision: d081671d4a876b9a23bcc2d3d26b2ba795d5ecae
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #900( 57 min )Console Output
isabelle-repo-afpbuild #900( 40 min )Console Output