#1478 (Jun 7, 2021, 1:10:15 AM)

1. merged (detail / hgweb)
2. suppress theories from other sessions, unless explicitly specified via mirabelle_theories; (detail / hgweb)
3. clarified hook for Mirabelle: provide all loaded theories at once (for each 'theories' section within the session ROOT); (detail / hgweb)
4. refer to theory "segments" only, according to global Build.build_theories and Thy_Info.use_theories; (detail / hgweb)
5. tuned; (detail / hgweb)
6. more uniform schedule_theories, notably for "present" and "commit" phase after loading; (detail / hgweb)
7. tuned; (detail / hgweb)
8. moved more legacy to AFP (detail / hgweb)

Started by an SCM change

This run spent:

• 20 min waiting;
• 1 hr 28 min build duration;
• 1 hr 48 min total from scheduled to completion.