#1852 (Jan 1, 2023, 12:50:11 AM)

1. repaired a proof (detail / hgweb)
2. Continued proof simplifications (detail / hgweb)
3. merged (detail / hgweb)
4. A further round of proof consolidation (detail / hgweb)

Started by an SCM change

This run spent:

• 9.5 sec waiting;
• 1 hr 53 min build duration;
• 1 hr 53 min total from scheduled to completion.