#1915 (Mar 15, 2023, 3:29:54 AM)

1. proper sorting of result (amending f458547b4f0f); (detail / hgweb)
2. merged (detail / hgweb)
3. enforce rebuild of Isabelle/ML; (detail / hgweb)
4. more operations; (detail / hgweb)
5. more specific vacuum operation, which is also relevant to PostgreSQL; (detail / hgweb)
6. tuned signature: removed redundant argument; (detail / hgweb)
7. tuned signature; (detail / hgweb)
8. proper build_uuid for Build_Process.Task: thus old entries are removed via prepare_database/clean_build; (detail / hgweb)
9. more informative Build_Process.Snapshot; (detail / hgweb)
10. more explicit snapshot of "_state" and "_database"; (detail / hgweb)
11. tuned; (detail / hgweb)
12. removed redundant State.workers: directly maintained within the database, using with SQL update; (detail / hgweb)
13. more thorough cleanup; (detail / hgweb)
14. tuned signature; (detail / hgweb)
15. tuned signature; (detail / hgweb)
16. tuned signature; (detail / hgweb)
17. more thorough synchronization of internal "_state" vs. external "_database"; (detail / hgweb)
18. more database content;
    clarified signature; (detail / hgweb)
19. clarified modules; (detail / hgweb)
20. clarified signature; (detail / hgweb)
21. clarified modules; (detail / hgweb)
22. tuned output; (detail / hgweb)
23. tuned output; (detail / hgweb)
24. Adjusted to new map update priorities (detail / hgweb)
25. bring priority in line with ordinary function update notation (detail / hgweb)
26. merged (detail / hgweb)
27. use tree (simpler) instead of rbt (exercise) (detail / hgweb)

Started by an SCM change

This run spent:

• 2 hr 39 min waiting;
• 1 hr 53 min build duration;
• 4 hr 33 min total from scheduled to completion.