#178 (Oct 23, 2016, 12:50:07 AM)

1. more tasks;
   clarified default args; (detail / hgweb)
2. remote_builds has PAR-SEQ semantics of old isatest-makedist;
   tuned signature; (detail / hgweb)
3. expose results on failure (via mail); (detail / hgweb)
4. clarified push/pull chain: current ISABELLE_HOME may server as source for changes that are not published on isabelle_repos_source yet (e.g. isabelle-release branch); (detail / hgweb)
5. support for URL notation; (detail / hgweb)
6. process results immediately; (detail / hgweb)
7. permissive rename operation (amending b265dd04d57d); (detail / hgweb)
8. pro-forma update to cygwin_2016-1 (web service still missing); (detail / hgweb)
9. updated to current Cygwin, after 2.6.0-1 from 31-Aug-2016; (detail / hgweb)
10. regular user tool; (detail / hgweb)
11. avoid deprecated Scala; (detail / hgweb)

Started by an SCM change

This run spent:

• 5.8 sec waiting;
• 1 hr 4 min build duration;
• 1 hr 4 min total from scheduled to completion.