#1629 (May 6, 2018, 11:31:03 PM)

1. merged (detail / hgweb)
2. store exports in session database, with asynchronous / parallel compression; (detail / hgweb)
3. tuned signature; (detail / hgweb)
4. tuned signature;
   clarified modules; (detail / hgweb)
5. tuned signature; (detail / hgweb)
6. protocol message for export of theory resources; (detail / hgweb)
7. hexadecimal representation of byte string; (detail / hgweb)
8. cleanup session output before starting build job;
   tuned signature; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 1 sec waiting;
• 1 hr 47 min build duration;
• 1 hr 52 min total from scheduled to completion.