#1930 (Apr 3, 2023, 2:21:52 AM)

1. merged (detail / hgweb)
2. clarified modules; (detail / hgweb)
3. clarified signature; (detail / hgweb)
4. more compact data; (detail / hgweb)
5. minor performance tuning; (detail / hgweb)
6. tuned signature; (detail / hgweb)
7. more uniform treatment of properties (but < 0 should not occur here); (detail / hgweb)
8. tuned signature; (detail / hgweb)
9. clarified signature; (detail / hgweb)
10. clarified signature; (detail / hgweb)
11. misc tuning and clarification: more tight representation; (detail / hgweb)
12. tuned: prefer "build" combinator; (detail / hgweb)

Started by an SCM change

This run spent:

• 1 hr 31 min waiting;
• 1 hr 57 min build duration;
• 3 hr 29 min total from scheduled to completion.