Started 1 mo 19 days ago
Took 42 min on workermtahpc

Build #3844 (Aug 12, 2022, 8:54:04 PM)

Changes

Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

  1. merged (detail / hgweb)
  2. more GUI elements; (detail / hgweb)
  3. clarified signature; (detail / hgweb)
  4. tuned; (detail / hgweb)
  5. tuned, following hints by IntelliJ IDEA; (detail / hgweb)
  6. clarified signature --- more operations; (detail / hgweb)
  7. clarified signature --- simplified types; (detail / hgweb)
  8. tuned signature; (detail / hgweb)
  9. proper toString for Content_XML, which is not covered by trait Content; (detail / hgweb)
  10. clarified output; (detail / hgweb)
  11. clarified signature: support different document_session, e.g. within running PIDE session; (detail / hgweb)
  12. unused (despite cf52379c0776); (detail / hgweb)
  13. tuned, following hints by IntelliJ IDEA; (detail / hgweb)
  14. unused (see 696819fe2424); (detail / hgweb)
  15. clarified signature; (detail / hgweb)
  16. basic setup for document build panel; (detail / hgweb)
  17. tuned, following hints by IntelliJ IDEA; (detail / hgweb)
  18. tuned, following hints by IntelliJ IDEA; (detail / hgweb)
  19. tuned; (detail / hgweb)
  20. clarified signature; (detail / hgweb)
  21. tuned, following hints by IntelliJ IDEA; (detail / hgweb)
  22. tuned, following hints by IntelliJ IDEA; (detail / hgweb)
  23. tuned signature; (detail / hgweb)
  24. tuned signature; (detail / hgweb)
  25. tuned signature, following hints by IntelliJ IDEA; (detail / hgweb)

Started by an SCM change

This run spent:

  • 2 min 2 sec waiting;
  • 42 min build duration;
  • 44 min total from scheduled to completion.
Revision: 96e66ba48052eb5e1bfbf9b912a4e80ef3a9cde7
Revision: 56d5a40ba8fcb831409102423b4edb233c42bffa