#1082 (Sep 11, 2017, 10:32:12 AM)

1. add an extra lemma to PSemigroups (detail / hgweb)

Started by an SCM change

This run spent:

• 9.4 sec waiting;
• 3 min 35 sec build duration;
• 3 min 44 sec total from scheduled to completion.