Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. tuned
Changeset 63386:0d6adf2d5035 by lars hupel _lars.hupel@mytum.de_:
merged
Changeset 63385:370cce7ad9b9 by lars hupel _lars.hupel@mytum.de_:
tuned
The file was modified Admin/jenkins/build/ci_build_benchmark.scala (diff)
The file was modified Admin/jenkins/build/ci_build_makeall.scala (diff)
The file was modified src/Pure/Tools/ci_profile.scala (diff)