#1931 (Apr 9, 2023, 12:50:11 AM)

1. tuned comments; (detail / hgweb)
2. more options; (detail / hgweb)
3. removed obsolete "rsync" package; (detail / hgweb)
4. tuned comments; (detail / hgweb)
5. use "rsync --secluded-args" by default, discontinue obsolete option -P of sync tools; (detail / hgweb)
6. tuned output; (detail / hgweb)
7. misc tuning and clarification; (detail / hgweb)
8. clarified output; (detail / hgweb)
9. use remote copy of locally installed rsync component: for uniform version and options; (detail / hgweb)
10. clarified signature: more abstract; (detail / hgweb)
11. tuned signature; (detail / hgweb)
12. more direct Hg_Sync.check_directory via SSH operations; (detail / hgweb)
13. tuned; (detail / hgweb)
14. clarified underlying SSH session of "isabelle hg_sync" and "isabelle sync"; (detail / hgweb)
15. clarified signature: avoid object-oriented "dispatch"; (detail / hgweb)
16. tuned; (detail / hgweb)
17. clarified signature: more uniform Table() vs. Set(); (detail / hgweb)

Started by an SCM change

This run spent:

• 9.5 sec waiting;
• 1 hr 57 min build duration;
• 1 hr 57 min total from scheduled to completion.