#923 (Jun 11, 2024, 10:17:01 AM)

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

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

Started by an SCM change

This run spent:

• 2 min 0 sec waiting;
• 1 min 16 sec build duration;
• 3 min 16 sec total from scheduled to completion.

• refs/remotes/origin/master