#1875 (Jan 29, 2023, 1:41:58 AM)

1. merged (detail / hgweb)
2. removed somewhat pointless support for Jenkins log files: it has stopped working long ago; (detail / hgweb)
3. more uniform components context for the managing "self_isabelle" and the managed "other_isabelle"; (detail / hgweb)
4. tuned signature; (detail / hgweb)
5. more operations; (detail / hgweb)
6. obsolete (see also d547173212d2); (detail / hgweb)
7. clarified names to emphasize suble differences in meaning; (detail / hgweb)
8. prefer high-level Other_Isabelle.bash over low-level SSH.execute; (detail / hgweb)
9. unused (see 378bb7a739c3); (detail / hgweb)
10. more options to manage resolved components; (detail / hgweb)
11. proper use of current ISABELLE_COMPONENT_REPOSITORY from the managing Isabelle system (amending 3e963d68d394); (detail / hgweb)
12. tuned comments; (detail / hgweb)
13. tuned; (detail / hgweb)
14. clarified signature: more explicit types;
    scale chart output, instead of stored data; (detail / hgweb)
15. more operations; (detail / hgweb)
16. tuned; (detail / hgweb)
17. clarified signature: more robust field_scale; (detail / hgweb)
18. clarified signature: more explicit types; (detail / hgweb)
19. clarified signature; (detail / hgweb)
20. tuned; (detail / hgweb)
21. support units, e.g. java.lang.Long.MAX_VALUE is 8 EiB; (detail / hgweb)
22. more explicit types; (detail / hgweb)
23. prefer typed/strict operations; (detail / hgweb)
24. tuned message; (detail / hgweb)
25. prefer strict operation: java.io.File.length returns 0 for non-existent file; (detail / hgweb)
26. prefer typed bytes count, but retain toString of original Long for robustness of Java/Scala string composition; (detail / hgweb)
27. back to Scala 3.2.0 for now, since 3.2.1 causes odd crash of REPL concerning value classes (e.g. "isabelle.Time.now()");
    enforce rebuild of Isabelle/ML + Isabelle/Scala; (detail / hgweb)

Started by an SCM change

This run spent:

• 51 min waiting;
• 1 hr 55 min build duration;
• 2 hr 47 min total from scheduled to completion.