#2680 (Mar 1, 2021, 11:02:06 PM)

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

1. tuned --- avoid deprecated conversions between certain number type; (detail / hgweb)
2. tuned --- avoid deprecated Predef.any2stringadd; (detail / hgweb)
3. tuned --- silence odd warning; (detail / hgweb)
4. tuned --- fewer warnings; (detail / hgweb)
5. tuned --- fewer warnings; (detail / hgweb)
6. tuned --- fewer warnings; (detail / hgweb)
7. tuned --- fewer warnings; (detail / hgweb)
8. clarified signature, according to Isabelle/Scala; (detail / hgweb)
9. download more directly, via means of JVM; (detail / hgweb)
10. download on separate thread; (detail / hgweb)
11. clarified signature; (detail / hgweb)
12. tuned; (detail / hgweb)

Started by an SCM change

This run spent:

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