#1052 (Aug 7, 2017, 2:31:02 PM)

1. tuning imports (detail / hgweb)
2. use TFF0 with E 2.0 and above (detail / hgweb)
3. E 2.0 component (detail / hgweb)
4. updated remote Vampire version (detail / hgweb)

Started by an SCM change

This run spent:

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