#1926 (Mar 29, 2023, 4:06:47 AM)

1. more operations, notably for profiling; (detail / hgweb)
2. tuned; (detail / hgweb)
3. more compact representation of leaf nodes: only 1.10 .. 1.33 larger than plain list; (detail / hgweb)
4. tuned --- fewer compiler warnings; (detail / hgweb)
5. tuned; (detail / hgweb)
6. tuned; (detail / hgweb)
7. tuned; (detail / hgweb)
8. tuned signature: more uniform structure Key; (detail / hgweb)
9. prefer Sortset.T for shyps; (detail / hgweb)
10. tuned; (detail / hgweb)
11. more operations; (detail / hgweb)
12. tuned names: "e" means "entry" in table.ML and "elem" in set.ML; (detail / hgweb)

Started by an SCM change

This run spent:

• 3 hr 16 min waiting;
• 1 hr 53 min build duration;
• 5 hr 10 min total from scheduled to completion.