#1636 (May 9, 2018, 1:08:03 AM)

1. merged (detail / hgweb)
2. one tiny fix (detail / hgweb)
3. merged (detail / hgweb)
4. merged (detail / hgweb)
5. tidying more messy proofs (detail / hgweb)
6. merged (detail / hgweb)
7. more efficient code (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 2 sec waiting;
• 3 hr 17 min build duration;
• 3 hr 22 min total from scheduled to completion.