Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified output;
  2. tuned output;
  3. more thorough treatment of afp_version and afp_pull_date;
  4. tuned options;
Changeset 66882:2d98b0141d89 by wenzelm:
clarified output;
The file was modified src/Pure/Admin/build_status.scala (diff)
Changeset 66881:e7635ea96988 by wenzelm:
tuned output;
The file was modified src/Pure/Admin/build_status.scala (diff)
Changeset 66880:486f4af28db9 by wenzelm:
more thorough treatment of afp_version and afp_pull_date;
The file was modified src/Pure/Admin/build_log.scala (diff)
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 66879:593053cac3be by wenzelm:
tuned options;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)