Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more options;
  2. sync session images, based on accidental local state;
  3. more informative release_snapshot, to see better where the cronjob fails;
  4. more robust, notably for crontab;
  5. clarified names;
  6. tuned;
Changeset 75553:4dd0f250ec0d by wenzelm:
more options;
The file was modified src/Pure/Admin/sync.scala (diff)
Changeset 75552:4aa3da02fd4d by wenzelm:
sync session images, based on accidental local state;
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Pure/Admin/sync.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 75551:4103b945c7b5 by wenzelm:
more informative release_snapshot, to see better where the cronjob fails;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
The file was modified src/Pure/Admin/isabelle_devel.scala (diff)
Changeset 75550:170ec97f1764 by wenzelm:
more robust, notably for crontab;
The file was modified etc/settings (diff)
Changeset 75549:4b21e823d35f by wenzelm:
clarified names;
The file was addedsrc/Pure/Admin/sync.scala
The file was modified etc/build.props (diff)
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Pure/System/isabelle_tool.scala (diff)
The file was removedsrc/Pure/Admin/sync_repos.scala
Changeset 75548:0af8a0b6216a by wenzelm:
tuned;
The file was modified src/Pure/General/ssh.scala (diff)