#1521 (Apr 17, 2018, 1:44:10 PM)

1. basis_reduction_add_rows at most doubles the mu-bound (detail / hgweb)

Started by an SCM change

This run spent:

• 7 sec waiting;
• 2 hr 5 min build duration;
• 2 hr 5 min total from scheduled to completion.