#1897 (Feb 23, 2023, 3:09:13 AM)

1. merged (detail / hgweb)
2. One new (necessary) theorem (detail / hgweb)
3. merged (detail / hgweb)
4. more operations to support management of jobs, e.g. from external database; (detail / hgweb)
5. more uniform operations; (detail / hgweb)
6. more operations; (detail / hgweb)
7. clarified signature: more robust; (detail / hgweb)
8. more operations; (detail / hgweb)
9. allow arbitrary info, e.g. for custom scheduler; (detail / hgweb)
10. clarified signature; (detail / hgweb)

Started by an SCM change

This run spent:

• 2 hr 19 min waiting;
• 1 hr 53 min build duration;
• 4 hr 12 min total from scheduled to completion.