#1234 (Jul 16, 2020, 12:50:07 AM)

1. more robust wrt. experimental changes in Poly/ML; (detail / hgweb)
2. more robust: handle unavailable statistics; (detail / hgweb)
3. merged (detail / hgweb)
4. clarified user counters: expose tasks to external monitor; (detail / hgweb)
5. proper platform path for Windows; (detail / hgweb)
6. clarified signature; (detail / hgweb)
7. support for monitoring of external ML process; (detail / hgweb)
8. clarified signature; (detail / hgweb)
9. more robust; (detail / hgweb)
10. support for monitoring of external ML process; (detail / hgweb)
11. clarified modules: ML_Statistics within bootstrap environment; (detail / hgweb)
12. misc tuning and modernization; (detail / hgweb)
13. clarified examples; (detail / hgweb)

Started by an SCM change

This run spent:

• 5.9 sec waiting;
• 1 hr 26 min build duration;
• 1 hr 26 min total from scheduled to completion.