#1331 (Nov 15, 2020, 12:50:09 AM)

1. tuned; (detail / hgweb)
2. proper theory name; (detail / hgweb)
3. merged (detail / hgweb)
4. proper document_theories; (detail / hgweb)
5. official support for document theories from other sessions; (detail / hgweb)
6. more interrupts, notably for running latex; (detail / hgweb)
7. support for watchdog thread; (detail / hgweb)
8. more parallelism; (detail / hgweb)
9. tuned signature; (detail / hgweb)
10. clarified messages; (detail / hgweb)
11. tuned imports; (detail / hgweb)

Started by an SCM change

This run spent:

• 8.5 sec waiting;
• 1 hr 28 min build duration;
• 1 hr 29 min total from scheduled to completion.