Build #447 (Mar 5, 2021 10:33:10 AM)

1. typo (detail / hgweb)
2. removed junk; (detail / hgweb)
3. tuned proofs; (detail / hgweb)
4. enforce full build, after significant changes in Isabelle/Scala; (detail / hgweb)
5. clarified compiler options: show relevant warnings; (detail / hgweb)
6. tuned --- avoid compiler warnings; (detail / hgweb)
7. clarified signature --- fewer warnings; (detail / hgweb)
8. clarified signature --- fewer warnings; (detail / hgweb)
9. tuned --- fewer warnings; (detail / hgweb)
10. more robust ordering (see also 88c96e836ed6); (detail / hgweb)
11. proper scala.collection.immutable; (detail / hgweb)
12. tuned --- fewer warnings; (detail / hgweb)
13. tuned --- fewer warnings; (detail / hgweb)
14. tuned; (detail / hgweb)
15. tuned --- fewer warnings; (detail / hgweb)
16. tuned --- fewer warnings; (detail / hgweb)
17. tuned --- fewer warnings; (detail / hgweb)
18. tuned --- fewer warnings; (detail / hgweb)
19. more robust error; (detail / hgweb)
20. tuned --- fewer warnings; (detail / hgweb)
21. tuned --- fewer warnings; (detail / hgweb)
22. tuned --- fewer warnings; (detail / hgweb)
23. updated to scala-2.13.5 (with scala-swing_2.13-3.0.0); (detail / hgweb)
24. slightly more efficient Term.fastype_of (only little impact in regular applications); (detail / hgweb)
25. reduced dependencies on theory List_Permutation (detail / hgweb)
26. Merge (detail / hgweb)
27. tuned --- fewer warnings; (detail / hgweb)
28. tuned --- fewer warnings; (detail / hgweb)
29. tuned --- avoid deprecated conversions between certain number type; (detail / hgweb)
30. tuned --- avoid deprecated Predef.any2stringadd; (detail / hgweb)
31. tuned --- silence odd warning; (detail / hgweb)
32. tuned --- fewer warnings; (detail / hgweb)
33. tuned --- fewer warnings; (detail / hgweb)
34. tuned --- fewer warnings; (detail / hgweb)
35. tuned --- fewer warnings; (detail / hgweb)
36. clarified signature, according to Isabelle/Scala; (detail / hgweb)
37. download more directly, via means of JVM; (detail / hgweb)
38. download on separate thread; (detail / hgweb)
39. clarified signature; (detail / hgweb)
40. tuned; (detail / hgweb)

Started by an SCM change

This run spent:

• 7.6 sec waiting;
• 3 hr 13 min build duration;
• 3 hr 13 min total from scheduled to completion.