#570 (Mar 4, 2018, 12:50:11 AM)

1. proper remote_mac according to Admin/Release/CHECKLIST; (detail / hgweb)
2. more Java heap, e.g. relevant for hg.graph on Isabelle repository; (detail / hgweb)
3. more robust check -- do not rely on return code; (detail / hgweb)
4. more compact ML_Statistics, to make build_status work with less than 2GB heap; (detail / hgweb)
5. retain latest ml_stats (amending e76c6cb0d461); (detail / hgweb)
6. accomodate smaller build machine; (detail / hgweb)
7. clarified signature; (detail / hgweb)
8. clarified self_update: imitate visible directory state on remote side; (detail / hgweb)
9. more operations; (detail / hgweb)
10. self_update implies push_isabelle_home (see also 4c253e84ae62); (detail / hgweb)
11. uniform setup_repository (pull/clone without update);
    tuned signature; (detail / hgweb)
12. clarified signature: facilitate interactive experimentation; (detail / hgweb)
13. clarified tasks; (detail / hgweb)
14. tuned signature; (detail / hgweb)

Started by an SCM change

This run spent:

• 9 sec waiting;
• 1 hr 14 min build duration;
• 1 hr 14 min total from scheduled to completion.