#1977 (Jun 29, 2023, 12:50:07 AM)

1. merged (detail / hgweb)
2. proper build_master.build_uuid; (detail / hgweb)
3. proper session_init *after* deleting db files (amending af6c493b0441); (detail / hgweb)
4. clarified signature: more concise data; (detail / hgweb)
5. tuned output; (detail / hgweb)
6. more robust; (detail / hgweb)
7. clarified signature: better default; (detail / hgweb)
8. show only active builds; (detail / hgweb)
9. clarified output; (detail / hgweb)
10. tuned; (detail / hgweb)
11. support for identified builds;
    more complete implementation of "isabelle build_worker"; (detail / hgweb)
12. clarified signature: more operations and options; (detail / hgweb)
13. tuned; (detail / hgweb)
14. clarified signature; (detail / hgweb)
15. clarified signature; (detail / hgweb)
16. more robust close() after failed initialization; (detail / hgweb)
17. avoid repeated open_database_server: synchronized transaction_lock; (detail / hgweb)
18. tuned signature; (detail / hgweb)
19. more robust: proper transaction_lock; (detail / hgweb)
20. tuned signature; (detail / hgweb)
21. tuned signature; (detail / hgweb)
22. tuned signature; (detail / hgweb)
23. clarified signature: more options; (detail / hgweb)
24. tuned; (detail / hgweb)
25. clarified database for heaps: do not depend on build_database_test; (detail / hgweb)
26. clarified signature; (detail / hgweb)
27. tuned signature; (detail / hgweb)

Started by an SCM change

This run spent:

• 6.4 sec waiting;
• 2 hr 4 min build duration;
• 2 hr 4 min total from scheduled to completion.