#2492 (Mar 14, 2024, 1:33:17 AM)

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

1. merged (detail)
2. revert most parts of 0e79fa88cab6: somewhat ambitious attempt to move towards "editing" builds via added/canceled workers;
   retain notion of next_jobs.limit and finished() from 0e79fa88cab6;
   clarified Job vs. optional Build_Job; (detail)
3. database performance tuning: prefer light-weight IPC over heavy-duty transactions, following bf377e10ff3b; (detail)
4. tuned; (detail)
5. tuned whitespace; (detail)
6. proper system option, instead of hardwired default; (detail)
7. tuned signature: fewer warnings in IntelliJ IDEA; (detail)
8. tuned comments; (detail)
9. clarified build schedule host: proper module; (detail)
10. remove unused dummy; (detail)
11. tuned; (detail)
12. use timeout as default build time predictor if no data is available; (detail)

Started by an SCM change

This run spent:

• 9.2 sec waiting;
• 11 hr build duration;
• 11 hr total from scheduled to completion.