#1954 (May 12, 2023, 12:50:06 AM)

1. more robust: after shutdown; (detail / hgweb)
2. proper exception CONTEXT for Context.certificate_theory; (detail / hgweb)
3. more diagnostic operations; (detail / hgweb)
4. tuned spelling; (detail / hgweb)
5. more standard treatment of data and context; (detail / hgweb)
6. more standard val silent = Attrib.setup_config_bool; (detail / hgweb)
7. tuned; (detail / hgweb)

Started by an SCM change

This run spent:

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