#561 (Nov 30, 2023, 6:33:07 PM)

Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

1. added method to generate build schedules directly; (detail)
2. clarified load vs. apply vs. make; (detail)
3. tuned; (detail)
4. tuned heuristic; (detail)
5. use cpu time for approximation; (detail)
6. lower bound for approximated times; (detail)
7. use full timing information in build schedule; (detail)
8. consistent hosts ordering; (detail)
9. filter hosts properly; (detail)

Started by an SCM change

This run spent:

• 2 min 4 sec waiting;
• 7 min 22 sec build duration;
• 9 min 27 sec total from scheduled to completion.