Skip to content
[Jenkins]Jenkins
log in
Started 4 yr 7 mo ago
Took 1 hr 20 min on workermta1
Success

#1053 (Nov 6, 2019, 12:50:09 AM)

Build Artifacts
Changes
  1. merged (detail / hgweb)
  2. proper names for multiple installations; (detail / hgweb)
  3. more phabricator setup; (detail / hgweb)
  4. proper service name (again): it is specific to each installation; (detail / hgweb)
  5. back to plain name, to have it accepted my mysql; (detail / hgweb)
  6. prefer system user setup, e.g. avoid occurrence on login screen; (detail / hgweb)
  7. more robust: install PHP daemon after Apache; (detail / hgweb)
  8. clarified name prefixes: global config always uses "isabelle-phabricator"; (detail / hgweb)
  9. more phabricator setup; (detail / hgweb)
  10. more phabricator setup; (detail / hgweb)
  11. more phabricator setup; (detail / hgweb)
  12. support for system services; (detail / hgweb)
  13. more options; (detail / hgweb)
  14. support for Linux user management; (detail / hgweb)
  15. merged (detail / hgweb)
  16. tuned (detail / hgweb)
  17. moved duplicate lemmas up the hierarchy (detail / hgweb)
  18. proof-of-concept theory for bit operations without a constructivistic representation and a minimal common logical foundation (detail / hgweb)
  19. merged (detail / hgweb)
  20. removed redundant lemma (detail / hgweb)
  21. merged (detail / hgweb)
  22. add lemmas (detail / hgweb)
  23. refactor Approximation.thy to use more abstract type of intervals (detail / hgweb)
  24. moved theory Interval_Approximation from the AFP (detail / hgweb)
  25. moved theory Interval from the AFP (detail / hgweb)
  26. replace approximation oracle by less ad-hoc @{computation}s (detail / hgweb)
  27. tuned (detail / hgweb)
  28. merged (detail / hgweb)
  29. tuned (detail / hgweb)
  30. Merge and get rid of closed_segmentI (detail / hgweb)
  31. Moved or deleted some out of place material, also eliminating obsolete naming conventions (detail / hgweb)
  32. Line_Segment is independent of Convex_Euclidean_Space (detail / hgweb)
  33. the division between Starlike and Convex_Euclidean_Space is artificial, therefore include Starlike (detail / hgweb)
  34. betweenness is a property on line segments (detail / hgweb)
  35. reduce dependencies of Ordered_Euclidean_Space; move more general material from Cartesian_Euclidean_Space (detail / hgweb)

Started by an SCM change

This run spent:

  • 8.4 sec waiting;
  • 1 hr 20 min build duration;
  • 1 hr 21 min total from scheduled to completion.
Revision: 9b531e611d66a88dce07a0046d2c834d0fe92c18