#885 (May 24, 2024, 7:02:34 PM)

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

1. tuned names; (detail)
2. proper SSH.System operation; (detail)
3. clarified modules; (detail)
4. more uniform/robust detect_repository/is_repository: actually check hg root; (detail)
5. more uniform local/remote operations; (detail)

Started by an SCM change

This run spent:

• 2 min 2 sec waiting;
• 1 min 56 sec build duration;
• 3 min 59 sec total from scheduled to completion.

• refs/remotes/origin/master