#525 (Oct 15, 2016, 10:34:03 PM)

1. timeout as in former isatest-makeall; (detail / hgweb)
2. more robust quasi-unique name; (detail / hgweb)
3. clarified signature: more static types; (detail / hgweb)
4. clarified hg.id operation, with explicit tip as default; (detail / hgweb)
5. added remote_build_history tasks: parallel on several remote hosts;
   isabelle_identify: use self repos for robustness;
   more logger context: options and ssh;
   setup repository clones on demand;
   clarified target repositories; (detail / hgweb)
6. added setup_repository;
   clarified root: expanded in target environment; (detail / hgweb)
7. more operations; (detail / hgweb)
8. expand relatively to given environment, notably remote HOME; (detail / hgweb)
9. tuned; (detail / hgweb)
10. tuned signature; (detail / hgweb)
11. tuned; (detail / hgweb)
12. clarified treatment of non-text bytes; (detail / hgweb)
13. remove invocation of build_history: results are reported via stdout; (detail / hgweb)
14. clarified signature; (detail / hgweb)
15. identify release; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 2 sec waiting;
• 1 hr 19 min build duration;
• 1 hr 24 min total from scheduled to completion.