#2067 (Dec 1, 2023, 1:41:11 AM)

1. tight representation of types / terms / proof terms (presently unused); (detail / hgweb)
2. merged (detail / hgweb)
3. reduce redundancy: avoid huge lists; (detail / hgweb)
4. more detailed profiling including "names";
   avoid overlapping results; (detail / hgweb)
5. tuned; (detail / hgweb)
6. misc tuning and clarification; (detail / hgweb)
7. slightly more compact heap: better sharing of persistent tuples; (detail / hgweb)
8. added method to generate build schedules directly; (detail / hgweb)
9. clarified load vs. apply vs. make; (detail / hgweb)
10. tuned; (detail / hgweb)
11. tuned heuristic; (detail / hgweb)
12. use cpu time for approximation; (detail / hgweb)
13. lower bound for approximated times; (detail / hgweb)
14. use full timing information in build schedule; (detail / hgweb)
15. consistent hosts ordering; (detail / hgweb)
16. filter hosts properly; (detail / hgweb)

Started by an SCM change

This run spent:

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