#2088 (Dec 31, 2023, 3:58:56 AM)

1. clarified modules; (detail / hgweb)
2. clarified signature: more operations; (detail / hgweb)
3. tuned names; (detail / hgweb)
4. clarified signature; (detail / hgweb)
5. tuned; (detail / hgweb)
6. tuned whitespace; (detail / hgweb)
7. clarified signature; (detail / hgweb)
8. tuned; (detail / hgweb)
9. tuned; (detail / hgweb)
10. clarified signature: prefer Same.operation; (detail / hgweb)
11. tuned; (detail / hgweb)
12. more zproofs; (detail / hgweb)
13. more operations; (detail / hgweb)
14. clarified modules;
    minor performance tuning; (detail / hgweb)
15. minor performance tuning, following 703201dbd413; (detail / hgweb)
16. tuned; (detail / hgweb)

Started by an SCM change

This run spent:

• 3 hr 8 min waiting;
• 2 hr 3 min build duration;
• 5 hr 11 min total from scheduled to completion.