Skip to content
Started 1 yr 7 mo ago
Took 10 hr on workerlrz5
Success

#2035 (Aug 13, 2022, 1:34:11 AM)

Build Artifacts
Changes

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

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

Started by an SCM change

This run spent:

  • 7.9 sec waiting;
  • 10 hr build duration;
  • 10 hr total from scheduled to completion.
Revision: 96e66ba48052eb5e1bfbf9b912a4e80ef3a9cde7
Revision: 56d5a40ba8fcb831409102423b4edb233c42bffa