#625 (May 10, 2018, 12:50:11 AM)

1. less ambitious parallelism, notably for threads=2; (detail / hgweb)
2. more informative error, notably for missing executable; (detail / hgweb)
3. tuned signature; (detail / hgweb)
4. clarified future scheduling parameters, with support for parallel_limit; (detail / hgweb)
5. record total number of tasks; (detail / hgweb)
6. merged (detail / hgweb)
7. more infinite product theorems (detail / hgweb)
8. proper merge of items without term index (amending b969263fcf02); (detail / hgweb)
9. announce sorted changes (detail / hgweb)

Started by an SCM change

This run spent:

• 9.3 sec waiting;
• 1 hr 24 min build duration;
• 1 hr 25 min total from scheduled to completion.