#1854 (Jan 3, 2023, 12:50:10 AM)

1. clarified signature: more explicit types; (detail / hgweb)
2. more robust: prefer internal theory names; (detail / hgweb)
3. clarified session_sources (again, see also 9d0e6ea7aa68); (detail / hgweb)
4. clarified signature: more explicit types; (detail / hgweb)
5. tuned output; (detail / hgweb)
6. clarified signature: more general operations; (detail / hgweb)
7. clarified signature: more explicit types; (detail / hgweb)
8. clarified signature: more explicit types (see also 90c552d28d36); (detail / hgweb)
9. do write_session_sources early, to have information available in build job; (detail / hgweb)
10. tuned signature, following Url.append_path; (detail / hgweb)
11. do not bundle Isabelle/Naproche, while it keeps changing; (detail / hgweb)
12. tuned signature; (detail / hgweb)
13. tuned; (detail / hgweb)
14. clarified signature: uniform master_dir instead of separate field; (detail / hgweb)
15. more standard master_dir; (detail / hgweb)

Started by an SCM change

This run spent:

• 9 sec waiting;
• 1 hr 52 min build duration;
• 1 hr 52 min total from scheduled to completion.