Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper host for ssh.hg_url (required aliasing works via $HOME/.ssh/config);
  2. clarified connection parameters;
  3. clarified test;
Changeset 71561:1d8b6c2253e6 by wenzelm:
proper host for ssh.hg_url (required aliasing works via $HOME/.ssh/config);
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 71560:20a3543ae173 by wenzelm:
clarified connection parameters;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 71559:0a6cacf2c143 by wenzelm:
clarified test;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)