#2125 (Feb 14, 2024, 12:50:09 AM)

1. performance optimization; (detail / hgweb)
2. clarified names; (detail / hgweb)
3. clarified scheduler: proper split into scheduler, generator, and priority rules (following 32d00ec387f4); (detail / hgweb)
4. proper "linux_arm", amending 76ad72736e9e; (detail / hgweb)

Started by an SCM change

This run spent:

• 7.8 sec waiting;
• 2 hr 3 min build duration;
• 2 hr 3 min total from scheduled to completion.