Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more robust update of generated directory; tuned;
  2. more output;
  3. tuned;
  4. obsolete;
  5. enter deeper into history;
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)