Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more Jenkins test results;
  2. clarified order of output;
  3. tuned;
  4. tuned signature;
Changeset 65788:bc00ac4dba25 by wenzelm:
more Jenkins test results;
The file was modified src/Pure/Admin/jenkins.scala (diff)
Changeset 65787:3f5ebf9f380e by wenzelm:
clarified order of output;
The file was modified src/Pure/Admin/jenkins.scala (diff)
Changeset 65786:84a0ac8a046e by wenzelm:
tuned;
The file was modified src/Pure/Admin/build_status.scala (diff)
Changeset 65785:6107504371fb by wenzelm:
tuned signature;
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/isabelle_devel.scala (diff)