#869 (Apr 29, 2017, 11:52:03 AM)

1. merged (detail / hgweb)
2. tuned; (detail / hgweb)
3. tuned signature; (detail / hgweb)
4. clarified database content; (detail / hgweb)
5. more operations; (detail / hgweb)
6. optional ml_statistics: much faster; (detail / hgweb)
7. proper query (amending ce15da15f8e2); (detail / hgweb)
8. put bulky data last; (detail / hgweb)
9. tuned; (detail / hgweb)
10. more log files; (detail / hgweb)
11. clarified multi-line properties; (detail / hgweb)
12. dummy session entry for empty build_info: relevant for filter_files; (detail / hgweb)
13. tuned query, notably for isabelle_build_log_build_info; (detail / hgweb)
14. operations to read database; (detail / hgweb)
15. tuned signature: less overloading; (detail / hgweb)
16. tuned signature; (detail / hgweb)
17. tuned transaction granularity; (detail / hgweb)
18. unused; (detail / hgweb)
19. clarified database layout; (detail / hgweb)
20. tuned signature: avoid null in regular Scala code; (detail / hgweb)
21. clarified transaction boundaries: more robust incremental write operations; (detail / hgweb)
22. clarified database layout; (detail / hgweb)
23. allow null for primitive types; (detail / hgweb)
24. more uniform storage of Meta_Info; (detail / hgweb)
25. allow null; (detail / hgweb)
26. clarified plain_name / log_name; (detail / hgweb)
27. tuned comment; (detail / hgweb)
28. tuned signature; (detail / hgweb)
29. tuned; (detail / hgweb)
30. separate small meta_info vs. big build_info; (detail / hgweb)
31. tuned; (detail / hgweb)
32. unused; (detail / hgweb)
33. tuned signature; (detail / hgweb)
34. more standard multi-line storage in database: Prop.separator is only required for single-line meta_info within log file; (detail / hgweb)
35. clarified filter_files: sorted and unique; (detail / hgweb)
36. database storage of Meta_Info and Build_Info; (detail / hgweb)
37. allow null; (detail / hgweb)
38. more encode/decode operations; (detail / hgweb)
39. proper prefix; (detail / hgweb)
40. support for database connection; (detail / hgweb)
41. clarified treatment of default port; (detail / hgweb)
42. tuned signature; (detail / hgweb)
43. clarified modules; (detail / hgweb)
44. more SQL operations; (detail / hgweb)
45. more robust (see also 6688b9cd443b); (detail / hgweb)
46. more robust treatment of non-UTF8 text files (cf. 3ed43cfc8b14), notably old log files in ISO-8859-15; (detail / hgweb)
47. clarified signature; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 0 sec waiting;
• 58 min build duration;
• 1 hr 3 min total from scheduled to completion.