#1925 (Mar 28, 2023, 3:04:00 AM)

1. NEWS; (detail / hgweb)
2. added Set.size;
   tuned Set.merge: keep larger set stable; (detail / hgweb)
3. performanc tuning: avoid exception overhead, potentially relevant for Sorts.class_less; (detail / hgweb)
4. performance tuning: prefer functor Set() over Table(); (detail / hgweb)
5. efficient representation of sets: more compact than Table.set; (detail / hgweb)
6. tuned whitespace; (detail / hgweb)
7. tuned comments; (detail / hgweb)

Started by an SCM change

This run spent:

• 2 hr 13 min waiting;
• 1 hr 51 min build duration;
• 4 hr 5 min total from scheduled to completion.