#2464 (Nov 26, 2020, 6:41:06 PM)

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

1. merged (detail / hgweb)
2. more exports from rendering;
   suppress empty exports; (detail / hgweb)
3. clarified signature; (detail / hgweb)
4. clarified options: batch-build has pide_reports disabled by default (requires significant resources); (detail / hgweb)
5. tuned; (detail / hgweb)
6. proper return code for more errors (amending d892f6d66402); (detail / hgweb)
7. more exports, as in "isabelle dump"; (detail / hgweb)
8. tuned; (detail / hgweb)
9. clarified signature; (detail / hgweb)
10. clarified signature: initial markup is_empty, not init_markup; (detail / hgweb)
11. clarified signature: prefer high-level Snapshot over low-level Command.State; (detail / hgweb)
12. tuned; (detail / hgweb)
13. more strict; (detail / hgweb)
14. clarified signature; (detail / hgweb)
15. tuned; (detail / hgweb)
16. clarified signature; (detail / hgweb)
17. clarified signature --- avoid repeated open_database on server; (detail / hgweb)

Started by an SCM change

This run spent:

• 2 min 4 sec waiting;
• 10 min build duration;
• 12 min total from scheduled to completion.