#2089 (Jan 1, 2024, 3:27:26 AM)

1. minor performance tuning: proper Same.operation; (detail / hgweb)
2. minor performance tuning: proper Same.operation;
   clarified modules; (detail / hgweb)
3. tuned signature; (detail / hgweb)
4. minor performance tuning: proper Same.operation;
   clarified modules; (detail / hgweb)
5. minor performance tuning: proper Same.operation; (detail / hgweb)
6. tuned signature; (detail / hgweb)
7. tuned; (detail / hgweb)
8. pro-forma support for ZTerm.sorts_zproof; (detail / hgweb)
9. tuned comments; (detail / hgweb)
10. tuned structure; (detail / hgweb)
11. minor performance tuning: proper Same.operation; (detail / hgweb)
12. tuned names (again); (detail / hgweb)

Started by an SCM change

This run spent:

• 2 hr 37 min waiting;
• 2 hr 2 min build duration;
• 4 hr 40 min total from scheduled to completion.