Skip to content
Started 7 yr 5 mo ago
Took 56 min on built-in
Success

#677 (Jan 5, 2017, 11:29:05 PM)

Changes
  1. more informative error for spurious crash; (detail / hgweb)
  2. merged (detail / hgweb)
  3. tuned; (detail / hgweb)
  4. dummy File_Watcher for Windows (spurious crashes seen on Windows 7); (detail / hgweb)
  5. more robust treatment of logical lines; (detail / hgweb)
  6. updated package; (detail / hgweb)
  7. proper name for recursive grammar;
    pro-forma update of fileTypes; (detail / hgweb)
  8. emit Commands_Changed for blobs as well, e.g. relevant for isabelle.vscode.Server.prover_output; (detail / hgweb)
  9. suppress empty results; (detail / hgweb)
  10. tuned; (detail / hgweb)
  11. manage document blobs as well; (detail / hgweb)
  12. misc tuning and clarification; (detail / hgweb)
  13. tuned; (detail / hgweb)
  14. tuned; (detail / hgweb)
  15. tuned; (detail / hgweb)

Started by an SCM change

This run spent:

  • 5 min 4 sec waiting;
  • 56 min build duration;
  • 1 hr 1 min total from scheduled to completion.
Revision: 05b29c8f0addbf7ad7b00c5b7810ffab8a35e920
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #677( 56 min )Console Output
isabelle-repo-afpbuild #677( 2 min 49 sec )Console Output