#1236 (Jul 18, 2020, 12:50:11 AM)

1. clarified -- avoid non-standard extend/merge; (detail / hgweb)
2. tuned -- avoid non-standard extend; (detail / hgweb)
3. clarified -- avoid non-standard extend/merge; (detail / hgweb)
4. proper session imports; (detail / hgweb)
5. clarified -- avoid non-standard extend; (detail / hgweb)
6. tuned -- avoid non-standard extend/merge; (detail / hgweb)
7. prefer conservative extend/merge of theory naming; (detail / hgweb)

Started by an SCM change

This run spent:

• 9.8 sec waiting;
• 1 hr 26 min build duration;
• 1 hr 26 min total from scheduled to completion.