#1773 (Sep 17, 2022, 3:56:45 AM)

1. include ssh + rsync as required for Isabelle tools, e.g. "isabelle sync"; (detail / hgweb)
2. more robust: snap version of docker cannot access /tmp; (detail / hgweb)
3. tuned signature; (detail / hgweb)
4. update to scala-3.2.0;
   enforce rebuild of Isabelle/ML + Isabelle/Scala; (detail / hgweb)
5. avoid crash of JLine on Windows; (detail / hgweb)
6. update to jdk-17.0.4.1+1 from 22-Aug-2022 (https://docs.azul.com/core/zulu-openjdk/release-notes/11.58-17.36-august-2022); (detail / hgweb)
7. clarified default, following 8b695e59db3f; (detail / hgweb)
8. tuned signature; (detail / hgweb)
9. tuned; (detail / hgweb)
10. clarified modules; (detail / hgweb)
11. discontinued pointless SSH.Target: OpenSSH client can handle user@host directly; (detail / hgweb)
12. clarified options; (detail / hgweb)
13. clarified options; (detail / hgweb)

Started by an SCM change

This run spent:

• 3 hr 6 min waiting;
• 1 hr 51 min build duration;
• 4 hr 58 min total from scheduled to completion.