#2067 (Sep 17, 2022, 1:33:11 AM)

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

1. include ssh + rsync as required for Isabelle tools, e.g. "isabelle sync"; (detail)
2. more robust: snap version of docker cannot access /tmp; (detail)
3. tuned signature; (detail)
4. update to scala-3.2.0;
   enforce rebuild of Isabelle/ML + Isabelle/Scala; (detail)
5. avoid crash of JLine on Windows; (detail)
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)
7. clarified default, following 8b695e59db3f; (detail)
8. tuned signature; (detail)
9. tuned; (detail)
10. clarified modules; (detail)
11. discontinued pointless SSH.Target: OpenSSH client can handle user@host directly; (detail)
12. clarified options; (detail)
13. clarified options; (detail)

Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

1. prefer (smt (verit)), which is potentially more stable under heavy load; (detail)
2. Add additional results. (detail)
3. Formatting. (detail)
4. Add papers to abstracts. (detail)

Started by an SCM change

This run spent:

• 8.5 sec waiting;
• 9 hr 42 min build duration;
• 9 hr 42 min total from scheduled to completion.