#4132 (Dec 11, 2022, 2:30:19 PM)

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

1. tuned: less redundant implementation; (detail / hgweb)
2. clarified signature: copy directory content more directly; (detail / hgweb)
3. more robust; (detail / hgweb)
4. tuned whitespace; (detail / hgweb)
5. clarified signature: more general operations; (detail / hgweb)
6. clarified signature; (detail / hgweb)
7. tuned signature; (detail / hgweb)

Started by an SCM change

This run spent:

• 3 min 15 sec waiting;
• 9 min 54 sec build duration;
• 13 min total from scheduled to completion.