#1411 (Mar 5, 2021, 1:17:41 AM)

1. removed junk; (detail / hgweb)
2. tuned proofs; (detail / hgweb)
3. enforce full build, after significant changes in Isabelle/Scala; (detail / hgweb)
4. clarified compiler options: show relevant warnings; (detail / hgweb)
5. tuned --- avoid compiler warnings; (detail / hgweb)
6. clarified signature --- fewer warnings; (detail / hgweb)
7. clarified signature --- fewer warnings; (detail / hgweb)
8. tuned --- fewer warnings; (detail / hgweb)
9. more robust ordering (see also 88c96e836ed6); (detail / hgweb)
10. proper scala.collection.immutable; (detail / hgweb)
11. tuned --- fewer warnings; (detail / hgweb)
12. tuned --- fewer warnings; (detail / hgweb)
13. tuned; (detail / hgweb)
14. tuned --- fewer warnings; (detail / hgweb)
15. tuned --- fewer warnings; (detail / hgweb)

Started by an SCM change

This run spent:

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