#1594 (Apr 24, 2018, 11:46:02 AM)

1. less ambitious parallelism: avoid problems with HOL-Proofs and threads=2 (congestion with many thousands futures and rather dense heap); (detail / hgweb)
2. clarified modules; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 0 sec waiting;
• 1 hr 45 min build duration;
• 1 hr 50 min total from scheduled to completion.