#649 (Jun 3, 2018, 1:00:42 AM)

1. tuned proofs; (detail / hgweb)
2. more symbols; (detail / hgweb)
3. more formal comments; (detail / hgweb)
4. more args; (detail / hgweb)
5. record active execution task and depend on it -- avoid new executions bumping into old ones; (detail / hgweb)
6. tuned -- more explicit types; (detail / hgweb)
7. less frequent consolidation: it requires a full Document.update and Document.start_execution; (detail / hgweb)

Started by an SCM change

This run spent:

• 10 min waiting;
• 1 hr 31 min build duration;
• 1 hr 42 min total from scheduled to completion.