#1614 (Dec 15, 2021, 12:50:06 AM)

1. merged (detail / hgweb)
2. more accurate names;
   complete coverage of mail addresses; (detail / hgweb)
3. more standard author_info; (detail / hgweb)
4. clarified author info and cluster nodes; (detail / hgweb)
5. more data integrity: name vs. address; (detail / hgweb)
6. clarified signature: more operations; (detail / hgweb)
7. clarified signature; (detail / hgweb)
8. tuned; (detail / hgweb)
9. more data integrity: name vs. address; (detail / hgweb)
10. tuned comments; (detail / hgweb)
11. merged (detail / hgweb)
12. tuned ATP to use fold_index (detail / hgweb)
13. tuned sledgehammer to use map_index (detail / hgweb)

Started by an SCM change

This run spent:

• 5.3 sec waiting;
• 1 hr 39 min build duration;
• 1 hr 39 min total from scheduled to completion.