Started 2 days 13 hr ago
Took 3 hr 13 min on workermtahpc

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

Changes
  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.
Revision: 99fbb7c7de22ce14446f4bf88e97b104ab363470