#1982 (Jul 6, 2023, 12:50:07 AM)

1. merged (detail / hgweb)
2. tuned; (detail / hgweb)
3. more robust; (detail / hgweb)
4. proper build_progress for local messages; (detail / hgweb)
5. proper SQL query; (detail / hgweb)
6. Another tranche of HOL Light material on metric and topological spaces (detail / hgweb)

Started by an SCM change

This run spent:

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