#2195 (Jun 1, 2024, 12:50:41 AM)

1. minor performance tuning; (detail / hgweb)
2. merged (detail / hgweb)
3. minor performance tuning: save approx. 70ms per SSH command; (detail / hgweb)
4. minor performance tuning: save approx. 70ms per SSH command; (detail / hgweb)
5. minor performance tuning: save approx. 70ms per SSH test command; (detail / hgweb)
6. suport Isabelle_System.bash via SSH.System; (detail / hgweb)
7. more operations; (detail / hgweb)
8. tuned; (detail / hgweb)
9. clarified signature; (detail / hgweb)
10. clarified signature; (detail / hgweb)
11. obsolete: macOS 10.x is no longer supported (see also 059743bc8311); (detail / hgweb)
12. tuned tmp name; (detail / hgweb)
13. tuned; (detail / hgweb)
14. tuned; (detail / hgweb)
15. tuned comments; (detail / hgweb)

Started by an SCM change

This run spent:

• 5.8 sec waiting;
• 2 hr 3 min build duration;
• 2 hr 3 min total from scheduled to completion.