#1869 (Jan 23, 2023, 4:11:57 AM)

1. update to jdk-17.0.6;
   proper executables for Windows;
   enforce rebuild of Isabelle/ML and Isabelle/Scala; (detail / hgweb)
2. proper cleanup; (detail / hgweb)
3. avoid odd suffix in published HTML library; (detail / hgweb)
4. tuned signature: avoid aliases; (detail / hgweb)
5. tuned message; (detail / hgweb)
6. tuned; (detail / hgweb)
7. tuned signature; (detail / hgweb)
8. clarified modules (again, in contrast to f8f065e20837); (detail / hgweb)
9. support IPC via database server; (detail / hgweb)
10. proper signature; (detail / hgweb)
11. support specific connection types, for additional operations; (detail / hgweb)

Started by an SCM change

This run spent:

• 3 hr 21 min waiting;
• 1 hr 51 min build duration;
• 5 hr 13 min total from scheduled to completion.