#2066 (Sep 16, 2022, 1:33:07 AM)

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

1. discontinued unclear timeout (stemming from jEdit JSch setup, see 14782d58a503), to make it work with native Windows ssh.exe; (detail)
2. proper time values in seconds; (detail)
3. clarified run_sftp: avoid platform_path via careful use of tmp_dir, to support both Windows and Cygwin ssh;
   discontinued run_scp: use run_sftp instead; (detail)
4. more robust, notably for macOS (see also ff92d6edff2c); (detail)
5. back to plain /tmp (despite 1df53737c59b): relevant for ssh on macOS, to avoid error "unix_listener: path too long for Unix domain socket"; (detail)
6. tuned names; (detail)
7. proper order of platforms, to make it work uniformly on all plaform families; (detail)

Started by an SCM change

This run spent:

• 5.2 sec waiting;
• 10 hr build duration;
• 10 hr total from scheduled to completion.