#171 (Oct 16, 2016, 12:50:09 AM)

1. tuned; (detail / hgweb)
2. discontinued somewhat pointless cronjob.options -- compile-time constants are sufficient; (detail / hgweb)
3. timeout as in former isatest-makeall; (detail / hgweb)
4. more robust quasi-unique name; (detail / hgweb)
5. clarified signature: more static types; (detail / hgweb)
6. clarified hg.id operation, with explicit tip as default; (detail / hgweb)
7. 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)
8. added setup_repository;
   clarified root: expanded in target environment; (detail / hgweb)
9. more operations; (detail / hgweb)
10. expand relatively to given environment, notably remote HOME; (detail / hgweb)
11. tuned; (detail / hgweb)
12. tuned signature; (detail / hgweb)
13. tuned; (detail / hgweb)
14. clarified treatment of non-text bytes; (detail / hgweb)
15. remove invocation of build_history: results are reported via stdout; (detail / hgweb)
16. clarified signature; (detail / hgweb)
17. identify release; (detail / hgweb)
18. prefer Isabelle standard Path; (detail / hgweb)
19. clarified logs; (detail / hgweb)
20. publish directly on webspace; (detail / hgweb)
21. Jenkins: don't build in system mode (detail / hgweb)

Started by an SCM change

This run spent:

• 8.2 sec waiting;
• 1 hr 13 min build duration;
• 1 hr 13 min total from scheduled to completion.