Skip to content
[Jenkins]Jenkins
log in
Started 3 days 9 hr ago
Took 5 hr 37 min on workermta1
Failed

#1029 (Jun 4, 2024, 11:24:16 AM)

Changes
  1. replace manual def. of timing function (detail / hgweb)
  2. merged (detail / hgweb)
  3. Simplification of sin, cos, exp of multiples of pi (detail / hgweb)
  4. minor performance tuning: more compact data; (detail / hgweb)
  5. removed unused/inefficient size_of_proof (see also 2241191a3c54); (detail / hgweb)
  6. tuned; (detail / hgweb)
  7. more robust: avoid crash of sleep() for negative time; (detail / hgweb)
  8. clarified signature; (detail / hgweb)
  9. clarified signature: more explicit types; (detail / hgweb)
  10. support "rsync --chmod --chown" via Rsync.Context; (detail / hgweb)
  11. tuned; (detail / hgweb)
  12. bash: proper bash_process via SSH;
    getenv: prefer light-weight ssh.execute; (detail / hgweb)
  13. clarified signature: support explicit cwd; (detail / hgweb)
  14. support bash via SSH; (detail / hgweb)
  15. clarified comments; (detail / hgweb)
  16. proper support for remote cwd; (detail / hgweb)
  17. clarified context for (remote) bash scripts: export variables are optional, support cwd; (detail / hgweb)
  18. more operations for SSH.System: bash_process and bash; (detail / hgweb)
  19. unused; (detail / hgweb)
  20. clarified signature: prefer symbolic isabelle.Path over physical java.io.File; (detail / hgweb)
  21. minor performance tuning; (detail / hgweb)
  22. merged (detail / hgweb)
  23. minor performance tuning: save approx. 70ms per SSH command; (detail / hgweb)
  24. minor performance tuning: save approx. 70ms per SSH command; (detail / hgweb)
  25. minor performance tuning: save approx. 70ms per SSH test command; (detail / hgweb)
  26. suport Isabelle_System.bash via SSH.System; (detail / hgweb)
  27. more operations; (detail / hgweb)
  28. tuned; (detail / hgweb)
  29. clarified signature; (detail / hgweb)
  30. clarified signature; (detail / hgweb)
  31. obsolete: macOS 10.x is no longer supported (see also 059743bc8311); (detail / hgweb)
  32. tuned tmp name; (detail / hgweb)
  33. tuned; (detail / hgweb)
  34. tuned; (detail / hgweb)
  35. tuned comments; (detail / hgweb)
  36. merged (detail / hgweb)
  37. clarify routes: absolute in api and relative for frontend; (detail / hgweb)
  38. add auto-reload for more interactive web apps; (detail / hgweb)
  39. clarified web app endpoints; (detail / hgweb)
  40. proper html script tag: source code must not be escaped; (detail / hgweb)
  41. add explicit Content-Length header to http response (otherwise it is missing in HEAD responses); (detail / hgweb)
  42. add HEAD to http server: should send same header fields as if request was GET; (detail / hgweb)

Started by an SCM change

This run spent:

  • 9.9 sec waiting;
  • 5 hr 37 min build duration;
  • 5 hr 38 min total from scheduled to completion.
Revision: a424accf705d614640027004ca625d6a9fb78aa0
Failed entries: