Skip to content
Success

Changes

Summary

  1. consolidated main cronjob server on virtual machine together with build_log database; eliminated special tricks for Gentoo; import plain_identify logs, export all logs for backup; run build_release, build_history_base in parallel to remote_build_history tasks;
  2. identify closer to main cronjob -- avoid diverging changeset versions;
Changeset 67766:603334230303 by wenzelm:
consolidated main cronjob server on virtual machine together with build_log database;<br>eliminated special tricks for Gentoo;<br>import plain_identify logs, export all logs for backup;<br>run build_release, build_history_base in parallel to remote_build_history tasks;
The file was addedAdmin/cronjob/crontab.server
The file was modified Admin/cronjob/README (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
The file was removedAdmin/cronjob/crontab.lxbroy10
Changeset 67765:968f6891be62 by wenzelm:
identify closer to main cronjob -- avoid diverging changeset versions;
The file was modified Admin/cronjob/crontab.lxbroy5 (diff)