#710 (Aug 19, 2018, 12:50:09 AM)

1. optional notification of nodes_status (via progress);
   more accurate changed.nodes wrt. dep_theories;
   tuned signature; (detail / hgweb)
2. tuned signature; (detail / hgweb)
3. tuned; (detail / hgweb)
4. tuned; (detail / hgweb)
5. tuned signature; (detail / hgweb)
6. tuned output; (detail / hgweb)
7. clarified signature; (detail / hgweb)
8. clarified signature; (detail / hgweb)
9. clarified signature; (detail / hgweb)
10. trim nodes_status: avoid potential memory leak; (detail / hgweb)
11. simplified (cf. dcd69422b953); (detail / hgweb)
12. clarified modules; (detail / hgweb)
13. clarified modules; (detail / hgweb)

Started by an SCM change

This run spent:

• 7.8 sec waiting;
• 1 hr 13 min build duration;
• 1 hr 13 min total from scheduled to completion.