#1914 (Mar 14, 2023, 2:23:43 AM)

1. enforce rebuild of Isabelle/ML; (detail / hgweb)
2. more direct state update; (detail / hgweb)
3. avoid too many synchronized_database; (detail / hgweb)
4. tuned output; (detail / hgweb)
5. synchronize progress messages with database; (detail / hgweb)
6. more robust SQL query for mandatory arguments; (detail / hgweb)
7. synchronize progress stop/stopped with database; (detail / hgweb)
8. more database content; (detail / hgweb)
9. tuned whitespace; (detail / hgweb)
10. tuned signature; (detail / hgweb)
11. tuned whitespace; (detail / hgweb)
12. clarified signature: avoid confusion due to object-orientation; (detail / hgweb)
13. clarified modules; (detail / hgweb)
14. clarified signature: prefer explicit types; (detail / hgweb)
15. more accurate Sessions.Info.session_prefs: cover relative changes wrt. statically declared options; (detail / hgweb)
16. clarified signature: more explicit type Options.Spec, which incorporates all variants of Options.+; (detail / hgweb)
17. tuned output; (detail / hgweb)
18. clarified signature: more explicit types; (detail / hgweb)
19. clarified signature: prefer static types; (detail / hgweb)
20. clarified signature (again, see also 8c64e51d9dde and 268bf61631ec); (detail / hgweb)
21. tuned signature; (detail / hgweb)

Started by an SCM change

This run spent:

• 1 hr 33 min waiting;
• 1 hr 53 min build duration;
• 3 hr 27 min total from scheduled to completion.