#1510 (Mar 10, 2018, 4:36:41 PM)

1. workaround for occasional deadlock seen in HOL-Proofs with threads=2; (detail / hgweb)
2. adapted to 3869b2400e22; (detail / hgweb)

Started by an SCM change

This run spent:

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