#4492 (Jun 7, 2023, 11:06:27 AM)

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

1. more realistic factor; (detail / hgweb)
2. proper trim_context; (detail / hgweb)
3. proper exception positions; (detail / hgweb)
4. proper trim_context / transfer, e.g. for Specification.definition; (detail / hgweb)
5. tuned; (detail / hgweb)
6. tuned; (detail / hgweb)
7. tuned signature: more operations; (detail / hgweb)
8. minor performance tuning: avoid append to end-of-list; (detail / hgweb)

Started by an SCM change

This run spent:

• 3 min 24 sec waiting;
• 4 hr 25 min build duration;
• 4 hr 28 min total from scheduled to completion.