#729 (Sep 8, 2018, 12:50:09 AM)

1. merged (detail / hgweb)
2. continuously clean frontier of already committed theories: much less resource requirements; (detail / hgweb)
3. tuned signature; (detail / hgweb)
4. missing name (detail / hgweb)
5. tuned whitespace; (detail / hgweb)
6. merged (detail / hgweb)
7. proper tast_context (amending 5f44ad150ed8); (detail / hgweb)
8. clarified error progress and error_rc; (detail / hgweb)
9. tuned signature; (detail / hgweb)
10. clarified rc; (detail / hgweb)
11. tuned signature; (detail / hgweb)
12. dump aspects asynchronously; (detail / hgweb)
13. record status of already committed nodes;
    tuned signature; (detail / hgweb)
14. tuned; (detail / hgweb)
15. tuned signature; (detail / hgweb)
16. tuned; (detail / hgweb)
17. added Let_def (detail / hgweb)

Started by an SCM change

This run spent:

• 7.6 sec waiting;
• 1 hr 14 min build duration;
• 1 hr 14 min total from scheduled to completion.