#1909 (Mar 8, 2023, 12:58:20 AM)

1. proper tool name (amending cbb49fe8e5a2); (detail / hgweb)
2. proper file-name (amending b975f5aaf6b8); (detail / hgweb)
3. tuned headers; (detail / hgweb)
4. eliminated suspicious Unicode characters; (detail / hgweb)
5. tuned whitespace; (detail / hgweb)
6. renamed "isabelle build_docker" to "isabelle docker_build" (unrelated to "isabelle build"); (detail / hgweb)
7. renamed administrative tools to build Isabelle components (unrelated to "isabelle build"); (detail / hgweb)
8. renamed "isabelle build_components" to "isabelle components_build" (unrelated to "isabelle build"); (detail / hgweb)
9. sort lines; (detail / hgweb)
10. renamed "isabelle log" to "isabelle build_log"; (detail / hgweb)
11. clarified structure; (detail / hgweb)
12. tuned output; (detail / hgweb)
13. clarified signature: proper abstract type; (detail / hgweb)
14. clarified signature: support all arguments of Sessions.store(); (detail / hgweb)
15. tuned; (detail / hgweb)
16. basic setup for "isabelle build_worker"; (detail / hgweb)
17. tuned comments; (detail / hgweb)
18. tuned structure; (detail / hgweb)
19. clarified terminology of "session build database", while "build database" is the one underlying Build_Process; (detail / hgweb)
20. clarified modules; (detail / hgweb)

Started by an SCM change

This run spent:

• 8 min 19 sec waiting;
• 1 hr 52 min build duration;
• 2 hr 0 min total from scheduled to completion.