#4125 (Dec 6, 2022, 8:54:17 PM)

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

1. clarified signature: less redundancy; (detail / hgweb)
2. tuned; (detail / hgweb)
3. potentially more robust delay_load action: avoid loosing events due to guards; (detail / hgweb)
4. tuned signature; (detail / hgweb)
5. tuned; (detail / hgweb)
6. tuned signature; (detail / hgweb)
7. more uniform tooltip for plugin options dialog; (detail / hgweb)
8. tuned signature; (detail / hgweb)
9. tuned signature; (detail / hgweb)
10. more uniform session selectors, with persistent options; (detail / hgweb)
11. tuned; (detail / hgweb)

Started by an SCM change

This run spent:

• 3 min 14 sec waiting;
• 9 min 44 sec build duration;
• 12 min total from scheduled to completion.