Skip to content
[Jenkins]Jenkins
log in
Started 6 mo 19 days ago
Took 2 hr 8 min on workermtahpc
Success

#2074 (Dec 9, 2023, 1:56:28 AM)

Build Artifacts
Changes
  1. merged (detail / hgweb)
  2. misc tuning and clarification: more standard Same.commit discipline; (detail / hgweb)
  3. tuned; (detail / hgweb)
  4. tuned names; (detail / hgweb)
  5. more operations;
    more accurate treatment of beta contraction in norm_term/norm_proof, following Envir.norm_term; (detail / hgweb)
  6. minor performance tuning: more careful treatment of empty environment; (detail / hgweb)
  7. clarified signature; (detail / hgweb)
  8. more zproofs; (detail / hgweb)
  9. clarified signature: support shared cache; (detail / hgweb)
  10. tuned; (detail / hgweb)
  11. tuned: avoid shadowing; (detail / hgweb)
  12. more zproofs; (detail / hgweb)
  13. tuned; (detail / hgweb)
  14. more operations;
    clarified cache; (detail / hgweb)
  15. tuned signature; (detail / hgweb)
  16. tuned names; (detail / hgweb)
  17. tuned -- eliminate clones; (detail / hgweb)
  18. tuned; (detail / hgweb)
  19. more operations; (detail / hgweb)
  20. more operations; (detail / hgweb)
  21. tuned; (detail / hgweb)
  22. clarified signature; (detail / hgweb)
  23. tuned; (detail / hgweb)
  24. tuned; (detail / hgweb)
  25. consider schedule calculation time in estimation; (detail / hgweb)
  26. compare previous build schedule with new one, to prevent regressions; (detail / hgweb)
  27. clarified: build schedules may be outdated when empty, after some time, or due to build progress; (detail / hgweb)
  28. store previous build jobs in graph so schedules can be used later in the build process; (detail / hgweb)
  29. add serial for build schedule to avoid unnecessary db read/writes; (detail / hgweb)
  30. tuned; (detail / hgweb)
  31. clarified; (detail / hgweb)
  32. tuned; (detail / hgweb)
  33. use build database to synchronize build schedule computed on master node (e.g., such that view on cluster is consistent); (detail / hgweb)
  34. add build uuid to schedule; (detail / hgweb)
  35. tuned; (detail / hgweb)
  36. use schedule directly instead of extra cache; (detail / hgweb)
  37. added build schedule command-line wrapper; (detail / hgweb)
  38. added graphical representation of build schedules; (detail / hgweb)
  39. clarified build heuristics parameters; (detail / hgweb)
  40. proper parallel paths: factor in elapsed time; (detail / hgweb)
  41. performance tuning: cache estimates; (detail / hgweb)

Started by an SCM change

This run spent:

  • 1 hr 6 min waiting;
  • 2 hr 8 min build duration;
  • 3 hr 14 min total from scheduled to completion.
Revision: 8857975b99a94682395b0daad612f5f660e48ed4