#2047 (Nov 3, 2023, 2:13:17 AM)

1. clarified; (detail / hgweb)
2. merged (detail / hgweb)
3. fixed the simplification of Suc n - 1 (detail / hgweb)
4. tuned whitespace; (detail / hgweb)
5. tuned message; (detail / hgweb)
6. just one pass is sufficient (see also cc8391b92747, 3e8a897042d9); (detail / hgweb)
7. more detailed progress for build_log_database, to see better what happens when; (detail / hgweb)
8. clarified signature: explicit Progress date; (detail / hgweb)
9. more uniform progress; (detail / hgweb)
10. more robust: support concurrent output; (detail / hgweb)
11. disable multi-builds (again): does not quite work yet; (detail / hgweb)

Started by an SCM change

This run spent:

• 1 hr 23 min waiting;
• 2 hr 3 min build duration;
• 3 hr 26 min total from scheduled to completion.