#576 (Dec 8, 2023, 12:24:02 PM)

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

1. tuned; (detail)
2. clarified; (detail)
3. tuned; (detail)
4. use build database to synchronize build schedule computed on master node (e.g., such that view on cluster is consistent); (detail)
5. add build uuid to schedule; (detail)
6. tuned; (detail)
7. use schedule directly instead of extra cache; (detail)
8. added build schedule command-line wrapper; (detail)
9. added graphical representation of build schedules; (detail)
10. clarified build heuristics parameters; (detail)
11. proper parallel paths: factor in elapsed time; (detail)
12. performance tuning: cache estimates; (detail)

Started by an SCM change

This run spent:

• 2 min 0 sec waiting;
• 4 min 4 sec build duration;
• 6 min 4 sec total from scheduled to completion.