#1185 (May 6, 2020, 12:50:10 AM)

1. tuned proofs (detail / hgweb)
2. tuned var. names (detail / hgweb)

Started by an SCM change

This run spent:

• 9 sec waiting;
• 1 hr 21 min build duration;
• 1 hr 21 min total from scheduled to completion.