Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more output;
  2. clarified;
  3. tuned output;
  4. more robust update of generated directory; tuned;
  5. more output;
  6. tuned;
  7. obsolete;
  8. enter deeper into history;
  9. more Jenkins test results;
  10. clarified order of output;
  11. tuned;
  12. tuned signature;
Changeset 65796:7d1c5150af70 by wenzelm:
more output;
The file was modified src/Pure/Admin/build_status.scala (diff)
Changeset 65795:c60b1a2c3abc by wenzelm:
clarified;
The file was modified src/Pure/Admin/build_status.scala (diff)
Changeset 65794:a880f41a8d0f by wenzelm:
tuned output;
The file was modified src/Pure/Admin/build_status.scala (diff)
Changeset 65793:96b4799a2e04 by wenzelm:
more robust update of generated directory;<br>tuned;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
The file was modified src/Pure/Admin/isabelle_devel.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 65792:c58752102b34 by wenzelm:
more output;
The file was modified src/Pure/Admin/build_status.scala (diff)
Changeset 65791:cf48ef4f4e63 by wenzelm:
tuned;
The file was modified src/Pure/Admin/build_status.scala (diff)
Changeset 65790:91940684a267 by wenzelm:
obsolete;
The file was modified Admin/jenkins/build/ci_build_stats.scala (diff)
The file was modified src/Pure/build-jars (diff)
The file was removedsrc/Pure/Admin/build_stats_legacy.scala
Changeset 65789:fccd7be5fa55 by wenzelm:
enter deeper into history;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
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)