#4113 (Nov 30, 2022, 10:24:16 PM)

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

1. tuned signature; (detail / hgweb)
2. tuned signature; (detail / hgweb)
3. proper unzip with strip option, within the JVM;
   tuned component build process; (detail / hgweb)
4. updated to sqlite-jdbc-3.39.4.1;
   clarified directory layout; (detail / hgweb)
5. more standard component build process; (detail / hgweb)
6. clarified signature: prefer Scala functions instead of shell scripts; (detail / hgweb)
7. tuned; (detail / hgweb)
8. more direct target directory; (detail / hgweb)
9. clarified signature: prefer Scala functions instead of shell scripts; (detail / hgweb)

Started by an SCM change

This run spent:

• 3 min 13 sec waiting;
• 9 min 23 sec build duration;
• 12 min total from scheduled to completion.