Summary
- more informative log_filename;
- retrieve more than just 100 builds;
- clarified modules;
The file was modified | src/Pure/Admin/jenkins.scala (diff) |
The file was modified | src/Pure/Admin/jenkins.scala (diff) |
The file was added | src/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 removed | src/Pure/Admin/ci_api.scala |