#724 (Feb 15, 2017, 1:24:17 PM)

1. merged (detail / hgweb)
2. Helpful lemmas for dealing with equalities involving Act. (detail / hgweb)

Started by an SCM change

This run spent:

• 7.2 sec waiting;
• 6 min 0 sec build duration;
• 6 min 7 sec total from scheduled to completion.