#1286 (Nov 7, 2017, 10:16:05 PM)

1. merged (detail / hgweb)
2. proper build_selection for clean_build (amending 961285f581e6): e.g. relevant for "isabelle build_doc"; (detail / hgweb)
3. clarified signature (again); (detail / hgweb)
4. clarified exclusion: operate on completed selection, as last step; (detail / hgweb)
5. tuned; (detail / hgweb)
6. tuned signature; (detail / hgweb)
7. clarifified selection: always wrt. build_graph structure;
   tuned signature; (detail / hgweb)
8. tuned; (detail / hgweb)
9. tuned signature; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 0 sec waiting;
• 50 min build duration;
• 55 min total from scheduled to completion.