#1514 (Apr 15, 2018, 2:35:12 PM)

1. include Max Haslbeck into LLL Basis Reduction: He did large parts of the formal complexity proofs (detail / hgweb)

Started by an SCM change

This run spent:

• 9.3 sec waiting;
• 10 min build duration;
• 10 min total from scheduled to completion.