#312 (May 2, 2017, 12:50:06 AM)

1. more Jenkins logs for build_log database; (detail / hgweb)
2. approximate repository identify job based on isabelle-nightly-slow;
   more Jenkins changeset patterns found in the wild; (detail / hgweb)
3. tuned; (detail / hgweb)
4. tuned signature; (detail / hgweb)
5. clarified treatment of qualified names (amending 7ef438495a02); (detail / hgweb)
6. create full view on build_log data, but avoid bombing sqlitebrowser; (detail / hgweb)
7. support for views; (detail / hgweb)
8. more operations;
   tuned; (detail / hgweb)
9. slightly more compact file; (detail / hgweb)
10. incremental download of Jenkins log files, which are also added to database; (detail / hgweb)
11. more robust detection of Jenkins log; (detail / hgweb)
12. detect Jenkins log files as well; (detail / hgweb)
13. detect host name; (detail / hgweb)
14. more parallelism; (detail / hgweb)
15. tuned; (detail / hgweb)
16. proper log_path check;
    report progress; (detail / hgweb)
17. ensure canonical order: latest first; (detail / hgweb)
18. tuned signature; (detail / hgweb)
19. download Jenkins logs with inlined ml_statistics; (detail / hgweb)
20. tuned; (detail / hgweb)
21. clarified signature; (detail / hgweb)
22. tuned signature; (detail / hgweb)
23. read ml_statistics from session logs: .db or .gz files; (detail / hgweb)

Started by an SCM change

This run spent:

• 5.4 sec waiting;
• 1 hr 15 min build duration;
• 1 hr 15 min total from scheduled to completion.