#4108 (Nov 25, 2022, 10:48:44 PM)

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

1. clarified exception: avoid odd compiler warning; (detail / hgweb)
2. update to scala-3.2.1;
   enforce rebuild of Isabelle/ML + Isabelle/Scala; (detail / hgweb)
3. recovered check from 69139cc01ba1: Windows does not support PosixFilePermission; (detail / hgweb)
4. update to jdk-17.0.5 (Oct-2022); (detail / hgweb)
5. more standard component build process; (detail / hgweb)
6. proper treatment of tar.gz double-extension; (detail / hgweb)
7. proper download, instead of assuming local directory; (detail / hgweb)
8. more standard component build process; (detail / hgweb)
9. clarified signature;
   omit somewhat pointless test for "unzip" command; (detail / hgweb)
10. clarified signature;
    tuned messages; (detail / hgweb)
11. discontinue unused JCEF: superseded by Electron with its bundled Chromium; (detail / hgweb)
12. prefer deterministic result; (detail / hgweb)

Started by an SCM change

This run spent:

• 3 min 42 sec waiting;
• 4 hr 3 min build duration;
• 4 hr 7 min total from scheduled to completion.