#4400 (Mar 30, 2023, 4:51:19 PM)

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

1. tuned signature; (detail / hgweb)
2. more operations for profiling; (detail / hgweb)
3. provide rsync component, with uniform version + options on all platforms; (detail / hgweb)
4. tuned message; (detail / hgweb)
5. provide local component to remote directory; (detail / hgweb)
6. tuned output; (detail / hgweb)
7. more SSH operations; (detail / hgweb)
8. more operations; (detail / hgweb)
9. tuned comments; (detail / hgweb)
10. clarified directory names, following bash_process (see e59d7d6fe1bd); (detail / hgweb)
11. tuned README; (detail / hgweb)
12. clarified build options; (detail / hgweb)

Started by an SCM change

This run spent:

• 3 min 17 sec waiting;
• 4 hr 10 min build duration;
• 4 hr 13 min total from scheduled to completion.