Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. more tasks; clarified default args;
  2. remote_builds has PAR-SEQ semantics of old isatest-makedist; tuned signature;
  3. expose results on failure (via mail);
  4. clarified push/pull chain: current ISABELLE_HOME may server as source for changes that are not published on isabelle_repos_source yet (e.g. isabelle-release branch);
  5. support for URL notation;
  6. process results immediately;
  7. permissive rename operation (amending b265dd04d57d);
  8. pro-forma update to cygwin_2016-1 (web service still missing);
  9. updated to current Cygwin, after 2.6.0-1 from 31-Aug-2016;
  10. regular user tool;
  11. avoid deprecated Scala;
Changeset 64351:e54578e699b5 by wenzelm:
more tasks;<br>clarified default args;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 64350:3af8566788e7 by wenzelm:
remote_builds has PAR-SEQ semantics of old isatest-makedist;<br>tuned signature;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 64349:26bc905be09d by wenzelm:
expose results on failure (via mail);
The file was modified Admin/cronjob/crontab.lxbroy10 (diff)
Changeset 64348:4c253e84ae62 by wenzelm:
clarified push/pull chain: current ISABELLE_HOME may server as source for changes that are not published on isabelle_repos_source yet (e.g. isabelle-release branch);
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
The file was modified src/Pure/General/mercurial.scala (diff)
Changeset 64347:602483aa7818 by wenzelm:
support for URL notation;
The file was modified src/Pure/General/mercurial.scala (diff)
The file was modified src/Pure/General/ssh.scala (diff)
Changeset 64346:5f49765a25ec by wenzelm:
process results immediately;
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 64345:b89c29ea208f by wenzelm:
permissive rename operation (amending b265dd04d57d);
The file was modified src/Pure/General/file.scala (diff)
Changeset 64344:c1695143de35 by wenzelm:
pro-forma update to cygwin_2016-1 (web service still missing);
The file was modified Admin/PLATFORMS (diff)
The file was modified Admin/Windows/Cygwin/Cygwin-Setup.bat (diff)
The file was modified Admin/Windows/Cygwin/README (diff)
The file was modified Admin/lib/Tools/makedist_cygwin (diff)
Changeset 64343:7cccf8704b78 by wenzelm:
updated to current Cygwin, after 2.6.0-1 from 31-Aug-2016;
The file was modified Admin/components/bundled-windows (diff)
The file was modified Admin/components/components.sha1 (diff)
Changeset 64342:53fb4a19fb98 by wenzelm:
regular user tool;
The file was addedsrc/Pure/Tools/profiling_report.scala
The file was modified NEWS (diff)
The file was modified src/Pure/build-jars (diff)
The file was removedsrc/Pure/Admin/profiling_report.scala
Changeset 64341:45b6faeee56d by wenzelm:
avoid deprecated Scala;
The file was modified src/Pure/Admin/build_log.scala (diff)