#291 (Apr 2, 2017, 1:16:20 AM)

1. misc tuning and modernization; (detail / hgweb)
2. misc tuning and modernization; (detail / hgweb)
3. clarified YXML vs. symbol encoding: operate on whole message;
   tuned signature; (detail / hgweb)
4. clarified YXML vs. symbol encoding: operate on whole message; (detail / hgweb)
5. tuned proofs; (detail / hgweb)
6. misc tuning and modernization; (detail / hgweb)
7. tuned signature; (detail / hgweb)
8. tuned (detail / hgweb)

Started by an SCM change

This run spent:

• 26 min waiting;
• 1 hr 10 min build duration;
• 1 hr 36 min total from scheduled to completion.