#2687 (Mar 4, 2021, 10:38:07 PM)

Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

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

Started by an SCM change

This run spent:

• 2 min 4 sec waiting;
• 2 hr 39 min build duration;
• 2 hr 41 min total from scheduled to completion.