Skip to content
[Jenkins]Jenkins
log in
Started 1 yr 4 mo ago
Took 1 hr 52 min on workermtahpc
Success

#1871 (Jan 25, 2023, 12:50:10 AM)

Build Artifacts
Changes
  1. clarified defaults: imitate "isabelle components -I" without further parameters; (detail / hgweb)
  2. tuned; (detail / hgweb)
  3. merged (detail / hgweb)
  4. more robust locations (amending 7e11e96a922d) --- notably for cleanup() in build_release, after Admin/ been deleted; (detail / hgweb)
  5. tuned; (detail / hgweb)
  6. clarified defaults (see also b310b93563f6); (detail / hgweb)
  7. tuned comments; (detail / hgweb)
  8. discontinued adhoc change of environment (from 897f1ac84aab), following ssh c2e8ba15a10a; (detail / hgweb)
  9. more formal Other_Isabelle.settings, with derived expand_path / bash_path; (detail / hgweb)
  10. clarified signature: minimal interface for getenv/expand_env, instead of bulky java.util.Map; (detail / hgweb)
  11. tuned; (detail / hgweb)
  12. discontinued adhoc change of environment (from c62b99e3ec07), which has been mostly superseded by expand_path / remote_path (from ef6f7e8a018c); (detail / hgweb)
  13. more operations; (detail / hgweb)
  14. removed unused user_home argument (see also 897f1ac84aab and 19b6091c2137); (detail / hgweb)
  15. tuned; (detail / hgweb)
  16. more robust: self-contained Other_Isabelle.isabelle_home; (detail / hgweb)
  17. more robust and uniform Other_Isabelle.scala_build; (detail / hgweb)
  18. tuned; (detail / hgweb)
  19. tuned message; (detail / hgweb)
  20. more robust (see also 7f55a3e28c88): resolve components from current Isabelle context, using Isabelle/Scala instead of shell scripts; (detail / hgweb)
  21. more strict; (detail / hgweb)
  22. tuned signature; (detail / hgweb)
  23. proper ssh.bash_path; (detail / hgweb)
  24. merged (detail / hgweb)
  25. added lemma irreflp_on_multpHO[simp] (detail / hgweb)
  26. added lemmas totalp_on_multpDM, totalp_multpDM, totalp_on_multpHO, and totalp_multpHO (detail / hgweb)
  27. Beautifying an old entry (detail / hgweb)
  28. generalized theory name: euclidean division denotes one particular division definition on integers (detail / hgweb)

Started by an SCM change

This run spent:

  • 9 sec waiting;
  • 1 hr 52 min build duration;
  • 1 hr 52 min total from scheduled to completion.
Revision: 6e2c6ccc5dc02e6d62b7463b96a61381a3a4c7f8