#395 (Aug 15, 2017, 12:50:08 AM)

1. merged (detail / hgweb)
2. patching the previous commit (detail / hgweb)
3. merged (detail / hgweb)
4. further Hensock tidy-up (detail / hgweb)
5. separate file for priority queue interface; extended Leftist_Heap. (detail / hgweb)
6. tuned GUI; (detail / hgweb)
7. tuned GUI; (detail / hgweb)
8. proper tooltip (amending fd8a65b026f1); (detail / hgweb)
9. updated to scala-2.12.3; (detail / hgweb)
10. auto update; (detail / hgweb)
11. updated to jdk-8u144; (detail / hgweb)
12. tuned GUI; (detail / hgweb)
13. more explicit failure; (detail / hgweb)
14. explicit indication of consolidated nodes; (detail / hgweb)
15. further tidying (detail / hgweb)

Started by an SCM change

This run spent:

• 6.4 sec waiting;
• 1 hr 21 min build duration;
• 1 hr 21 min total from scheduled to completion.