#1670 (Jun 14, 2018, 11:29:10 AM)

1. adjust bound for mu i j (detail / hgweb)

Started by an SCM change

This run spent:

• 7.1 sec waiting;
• 3 hr 0 min build duration;
• 3 hr 0 min total from scheduled to completion.