#1902 (Feb 28, 2023, 12:50:09 AM)

1. tuned whitespace; (detail / hgweb)
2. tuned; (detail / hgweb)
3. clarified signature, although "sql" argument is de-facto mandatory; (detail / hgweb)
4. tuned; (detail / hgweb)
5. proper SQL (amending 7ab9bac1ca96); (detail / hgweb)
6. clarified signature: more explicit "synchronized" regions; (detail / hgweb)
7. more robust interrupt handling, notably for Build_Job.terminate(); (detail / hgweb)
8. clarified signature: works for general Build_Job; (detail / hgweb)
9. tuned; (detail / hgweb)
10. clarified modules; (detail / hgweb)
11. clarified signature; (detail / hgweb)
12. proper log_lines, without protocol messages (amending cb3f5361fbca); (detail / hgweb)
13. clarified signature; (detail / hgweb)
14. tuned messages; (detail / hgweb)
15. clarified error output vs. process_result stored in build_database (see also 13a0f537e232 and bff56eae3ec5); (detail / hgweb)
16. clarified system option: guard for testing, until the database layout has stabilized; (detail / hgweb)

Started by an SCM change

This run spent:

• 8.4 sec waiting;
• 1 hr 53 min build duration;
• 1 hr 53 min total from scheduled to completion.