#1476 (Jun 5, 2021, 2:22:10 AM)

1. tuned --- reduced source complexity; (detail / hgweb)
2. proper usage (amending f7ea394490f5); (detail / hgweb)
3. merged, resolving minor conflict; (detail / hgweb)
4. allow build session setup, e.g. for protocol handlers; (detail / hgweb)
5. unused; (detail / hgweb)
6. tuned --- potentially more robust (e.g. session.phase_changed vs. isabelle_process.terminated); (detail / hgweb)
7. clarified signature; (detail / hgweb)
8. removed pointless option (see 3d0952893db8); (detail / hgweb)
9. tuned --- avoid redundant future tasks from already loaded theories; (detail / hgweb)
10. no comment --- topological order appears to be fine since 04-Mar-2013; (detail / hgweb)
11. more predictable sequential presentation (2f9877db82a1), without somewhat pointless result_ord (e7fab0b5dbe7); (detail / hgweb)
12. moved stride option from sledgehammer action to main mirabelle (detail / hgweb)

Started by an SCM change

This run spent:

• 1 hr 32 min waiting;
• 1 hr 27 min build duration;
• 2 hr 59 min total from scheduled to completion.