#5317 (Jun 11, 2024, 1:13:12 PM)

Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)

1. proper available hosts; (detail / hgweb)
2. tuned proof (detail / hgweb)
3. tuned comments; (detail / hgweb)
4. add build_manager_database tool to restore db from log files; (detail / hgweb)
5. use build log in build manager to store meta-data persistently; (detail / hgweb)
6. add build log format for managed builds; (detail / hgweb)
7. improve build manager log (for build_log); (detail / hgweb)
8. clarified; (detail / hgweb)
9. proper web server address; (detail / hgweb)
10. clarified names: more canonical; (detail / hgweb)
11. clarified; (detail / hgweb)
12. remove unused; (detail / hgweb)
13. tuned; (detail / hgweb)

Started by an SCM change

This run spent:

• 2 min 2 sec waiting;
• 5 hr 4 min build duration;
• 5 hr 6 min total from scheduled to completion.