#3994 (Oct 2, 2022, 5:32:07 PM)

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

1. proper cygwin component (see d042947e47a3) (detail / hgweb)
2. proper base names; (detail / hgweb)
3. suppress command echo in output; (detail / hgweb)
4. include openssh for rsync (see also a1c7829ac2de); (detail / hgweb)
5. provide naproche-20221002; (detail / hgweb)

Started by an SCM change

This run spent:

• 2 min 5 sec waiting;
• 9 min 36 sec build duration;
• 11 min total from scheduled to completion.