#548 (Nov 24, 2023, 10:33:06 PM)

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

1. merged (detail)
2. more uniform buffer_size (see also c83cdd300848 and 26c790a6ce43); (detail)
3. clarified buffer_size; (detail)
4. merged (detail)
5. disable unix_domain for now: somewhat unstable, e.g. "isabelle build -b HOL-Analysis" on arm64_32-darwin (studio1); (detail)
6. workaround for "fix" JDK-4512626 in Java 20/21: avoid spurious caret in read-only text; (detail)
7. tuned; (detail)
8. prefer Unix-domain socket on Unix; (detail)
9. support for Unix-domain sockets, using java.nio.channels.ServerSocketChannel; (detail)
10. tuned; (detail)
11. clarified signature: more general make_streams; (detail)
12. tuned; (detail)
13. more robust exception handling (amending 8cc1ae43e12e); (detail)
14. clarified signature: avoid deprecated URL constructors; (detail)
15. avoid deprecated URL constructors; (detail)

Started by user Administrative User

This run spent:

• 26 min waiting;
• 1 hr 50 min build duration;
• 2 hr 17 min total from scheduled to completion.