#1910 (Mar 9, 2023, 3:33:56 AM)

1. enforce rebuild of Isabelle/ML; (detail / hgweb)
2. proper test (amending 32f9e75c92e9); (detail / hgweb)
3. updated to sqlite-jdbc-3.41.0.0; (detail / hgweb)
4. proper shasum lines (amending 3070001c9d1f); (detail / hgweb)
5. more robust transactions; (detail / hgweb)
6. explicit locking for PostgreSQL --- neither available nor required for SQLite; (detail / hgweb)
7. merged (detail / hgweb)
8. assume total operation: ProcessHandle.current().info.startInstant appears to work on all platforms; (detail / hgweb)
9. more database content, e.g. for monitoring; (detail / hgweb)
10. tuned structure; (detail / hgweb)
11. tuned signature; (detail / hgweb)
12. more database content, e.g. for monitoring; (detail / hgweb)
13. more explicit workers, e.g. for monitoring; (detail / hgweb)
14. tuned; (detail / hgweb)
15. tuned; (detail / hgweb)
16. clarified worker state: always maintain database content via worker_uuid;
    clarified message; (detail / hgweb)
17. clarified signature: prefer Build_Process.Context for parameters; (detail / hgweb)
18. support for "isabelle build -j0": require external workers to make progress; (detail / hgweb)
19. follow renaming of various Isabelle command-line tools (see b975f5aaf6b8 and before); (detail / hgweb)
20. require the presence of free variables to do abduction in Sledgehammer (detail / hgweb)
21. removed exercise solution (detail / hgweb)
22. merged (detail / hgweb)
23. new theory Tree_Rotations (detail / hgweb)

Started by an SCM change

This run spent:

• 2 hr 43 min waiting;
• 1 hr 53 min build duration;
• 4 hr 37 min total from scheduled to completion.