Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. tuned signature;
  3. tuned signature;
  4. present build status; tuned;
  5. tuned;
  6. obsolete;
  7. clarified name;
  8. tuned messages;
  9. tuned;
  10. clarified signature;
  11. unused;
  12. tuned;
  13. tuned messages;
  14. performance statistics from build log database;
  15. tuned;
  16. legacy version for Jenkins website;
  17. tuned;
  18. detect database entries;
  19. tuned;
  20. clarified signature;
  21. tuned signature;
Changeset 65749:99f4e4e03030 by wenzelm:
merged
Changeset 65748:1f4a80e80c88 by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/General/sql.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 65747:5a3052b2095f by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/build_status.scala (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
The file was modified src/Pure/Admin/jenkins.scala (diff)
Changeset 65746:dead16007097 by wenzelm:
present build status;<br>tuned;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 65745:a124fbf8b2b9 by wenzelm:
tuned;
The file was modified src/Pure/Admin/build_status.scala (diff)
Changeset 65744:92028ab1c3d7 by wenzelm:
obsolete;
The file was modified .hgignore (diff)
Changeset 65743:4847ca570454 by wenzelm:
clarified name;
The file was addedsrc/Pure/Admin/build_status.scala
The file was modified src/Pure/Admin/jenkins.scala (diff)
The file was modified src/Pure/System/isabelle_tool.scala (diff)
The file was modified src/Pure/build-jars (diff)
The file was removedsrc/Pure/Admin/build_stats.scala
Changeset 65742:b9e0f25ba16a by wenzelm:
tuned messages;
The file was modified src/Pure/Admin/build_stats.scala (diff)
Changeset 65741:cf42659364c9 by wenzelm:
tuned;
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/Admin/build_stats.scala (diff)
The file was modified src/Pure/General/sql.scala (diff)
Changeset 65740:83388f09e9ab by wenzelm:
clarified signature;
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/Admin/build_stats.scala (diff)
The file was modified src/Pure/General/sql.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 65739:3f206cfca625 by wenzelm:
unused;
The file was modified src/Pure/General/sql.scala (diff)
Changeset 65738:6bfe25513851 by wenzelm:
tuned;
The file was modified src/Pure/Admin/build_log.scala (diff)
Changeset 65737:0729c09be90c by wenzelm:
tuned messages;
The file was modified src/Pure/Admin/build_stats.scala (diff)
Changeset 65736:2e7230b66a32 by wenzelm:
performance statistics from build log database;
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/Admin/build_stats.scala (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
The file was modified src/Pure/Admin/jenkins.scala (diff)
Changeset 65735:4eab1aa8f9c3 by wenzelm:
tuned;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 65734:03257db12a04 by wenzelm:
legacy version for Jenkins website;
The file was addedsrc/Pure/Admin/build_stats_legacy.scala
The file was modified Admin/jenkins/build/ci_build_stats.scala (diff)
The file was modified src/Pure/build-jars (diff)
Changeset 65733:45b8446a8b52 by wenzelm:
tuned;
The file was modified src/Pure/Admin/build_stats.scala (diff)
The file was modified src/Pure/General/date.scala (diff)
Changeset 65732:7864aea16a87 by wenzelm:
detect database entries;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 65731:393d34045ffb by wenzelm:
tuned;
The file was modified src/Pure/General/sql.scala (diff)
Changeset 65730:7ae61e72a678 by wenzelm:
clarified signature;
The file was modified src/Pure/General/sql.scala (diff)
Changeset 65729:3f40afe30feb by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/General/sql.scala (diff)