#1989 (Jul 23, 2023, 12:50:09 AM)

1. clarified signature: more "object-oriented" style; (detail / hgweb)
2. more flexible Build.Engine.process_options: e.g. to manipulate "process_policy" for ML process; (detail / hgweb)
3. clarified signature: delegate policies to Build_Cluster implementation, potentially provided by Build.Engine via Build_Process.open_build_cluster; (detail / hgweb)
4. tuned signature; (detail / hgweb)
5. tuned signature;
   more operations; (detail / hgweb)
6. clarified option (see also b66b6cc1eb8c); (detail / hgweb)
7. more build_cluster management: open SSH connections in parallel, but synchronously; (detail / hgweb)
8. tuned signature: more options; (detail / hgweb)
9. clarified signature: more operations; (detail / hgweb)
10. tuned signature; (detail / hgweb)
11. more accurate print vs. parse; (detail / hgweb)
12. clarified signature;
    tuned output; (detail / hgweb)
13. clarified signature (again);
    more explicit "local" name; (detail / hgweb)
14. tuned output; (detail / hgweb)
15. tuned output; (detail / hgweb)
16. clarified modules; (detail / hgweb)
17. more pro-forma support for afp_root; (detail / hgweb)
18. tuned NEWS: emphasize "isabelle build" add-ons; (detail / hgweb)
19. added option -A for AFP root, following "isabelle sync"; (detail / hgweb)
20. clarified signature: more operations; (detail / hgweb)
21. tuned signature; (detail / hgweb)
22. clarified file location: to be used by regular Isabelle/Scala tools; (detail / hgweb)
23. update headers; (detail / hgweb)
24. more pro-forma support for Build_Cluster; (detail / hgweb)
25. tuned; (detail / hgweb)
26. tuned; (detail / hgweb)
27. clarified options; (detail / hgweb)
28. clarified options; (detail / hgweb)
29. proper Build_Cluster.Host.parse for parameters and system options;
    clarified Build_Cluster.Host: empty "host" means local; (detail / hgweb)
30. more operations for independent "inline" options; (detail / hgweb)
31. clarified options: accommodate potentially slow database connection; (detail / hgweb)
32. minor performance tuning; (detail / hgweb)
33. add option "build_context" in anticipation of AFP entries that require special tricks in Isabelle/ML (NB: system component settings are unavailable in AFP); (detail / hgweb)
34. proper build_options (amending 822ddccda899); (detail / hgweb)
35. clarified options; (detail / hgweb)
36. proforma support for remote build hosts; (detail / hgweb)

Started by an SCM change

This run spent:

• 8.1 sec waiting;
• 2 hr 3 min build duration;
• 2 hr 3 min total from scheduled to completion.