#4129 (Dec 8, 2022, 10:45:21 PM)

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

1. clarified signature: proper scopes and types; (detail / hgweb)
2. maintain global state of document editor views, notably for is_active operation; (detail / hgweb)
3. tuned signature; (detail / hgweb)
4. tuned whitespace; (detail / hgweb)

Started by an SCM change

This run spent:

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