#1708 (Jun 8, 2022, 12:50:06 AM)

1. merged (detail / hgweb)
2. avoid noise via context.progress (amending 68162e4f60a7); (detail / hgweb)
3. more robust treatment of rsync on macOS (see also 96fb1f9a4042); (detail / hgweb)
4. tuned whitespace; (detail / hgweb)
5. more robust: no change of directory attributes of initial test, notably target without .hg_sync meta data; (detail / hgweb)
6. merged (detail / hgweb)
7. added lemmas reflp_on_Inf and reflp_on_Sup (detail / hgweb)
8. replaced HOL.implies by Pure.imp in reflp_mono for consistency with other lemmas (detail / hgweb)
9. added lemmas reflp_on_inf, reflp_on_sup, and reflp_on_mono (detail / hgweb)
10. merged (detail / hgweb)
11. more robust: protect_args does not work with rsync 2.x from macOS, and is not required in typical situations; (detail / hgweb)
12. clarified context with global defaults; (detail / hgweb)
13. tuned signature; (detail / hgweb)
14. clarified signature: more explicit type Rsync.Context; (detail / hgweb)
15. clarified signature; (detail / hgweb)
16. clarified modules; (detail / hgweb)
17. provide python-3.10.4 for darwin and linux; (detail / hgweb)
18. provide hugo-0.88.1 for darwin and linux; (detail / hgweb)

Started by an SCM change

This run spent:

• 5.2 sec waiting;
• 1 hr 36 min build duration;
• 1 hr 36 min total from scheduled to completion.