Skip to content
Success

Changes

Summary

  1. more informative log_filename;
  2. retrieve more than just 100 builds;
  3. clarified modules;
Changeset 65652:349999526df3 by wenzelm:
more informative log_filename;
The file was modified src/Pure/Admin/jenkins.scala (diff)
Changeset 65651:2b78b7edf072 by wenzelm:
retrieve more than just 100 builds;
The file was modified src/Pure/Admin/jenkins.scala (diff)
Changeset 65650:48ef286b847b by wenzelm:
clarified modules;
The file was addedsrc/Pure/Admin/jenkins.scala
The file was modified src/Pure/Admin/build_stats.scala (diff)
The file was modified src/Pure/build-jars (diff)
The file was removedsrc/Pure/Admin/ci_api.scala