#2000 (Aug 10, 2023, 12:50:10 AM)

1. merged (detail / hgweb)
2. improved simp rule insert_Times_insert (following Dominique Unruh). (detail / hgweb)
3. afford multiple tests for arm64_32-darwin on this fast machine; (detail / hgweb)
4. proper history_base for AMR64; (detail / hgweb)
5. tuned (detail / hgweb)

Started by an SCM change

This run spent:

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