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

#651 (Dec 28, 2016, 9:19:06 PM)

Changes
  1. merged (detail / hgweb)
  2. DiagnosticSeverity according to implementation https://github.com/Microsoft/vscode-languageserver-node instead of documentation https://github.com/Microsoft/language-server-protocol/blob/master/protocol.md; (detail / hgweb)
  3. support for syslog messages;
    clarified shutdown; (detail / hgweb)
  4. prefer stable state -- reduce repeated diagnostics; (detail / hgweb)
  5. more uniform pending_input / pending_output;
    explicit Document_Model.uri;
    tuned; (detail / hgweb)
  6. unused; (detail / hgweb)
  7. precise full_range and thus proper try_restrict in Snapshot.cumulate; (detail / hgweb)
  8. clarified protocol errors; (detail / hgweb)
  9. clarified signature; (detail / hgweb)
  10. unused; (detail / hgweb)
  11. clarified options; (detail / hgweb)
  12. clarified signature: maintan Text.Length within Line.Document; (detail / hgweb)
  13. clarified modules; (detail / hgweb)
  14. clarified signature: explicit Length to avoid implicit mistakes; (detail / hgweb)
  15. tuned; (detail / hgweb)
  16. more uniform treatment of input/output wrt. client;
    support for diagnistic messages;
    misc tuning; (detail / hgweb)
  17. tuned; (detail / hgweb)
  18. more uniform treatment of "bad" like other messages (with serial number); (detail / hgweb)
  19. clarified modules; (detail / hgweb)
  20. support for diagnostics; (detail / hgweb)

Started by an SCM change

This run spent:

  • 5 min 4 sec waiting;
  • 1 hr 31 min build duration;
  • 1 hr 36 min total from scheduled to completion.
Revision: 1d645e6efd89e1786c4708cd436a66dd2a03eecd
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #651( 1 hr 7 min )Console Output
isabelle-repo-afpbuild #651( 1 hr 30 min )Console Output