Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. stretch image according to history length;
  2. actually plot extended profile history;
Changeset 65799:ed705d6a6a63 by wenzelm:
stretch image according to history length;
The file was modified src/Pure/Admin/build_status.scala (diff)
Changeset 65798:d459db0f6135 by wenzelm:
actually plot extended profile history;
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)