Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. expose results on failure (via mail);
  2. 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);
  3. support for URL notation;
  4. process results immediately;
  5. permissive rename operation (amending b265dd04d57d);
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)