Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. back to old-style names for uniform sorting of build_status (amending 138e8226961e);
  2. support actual_host for lrzcloud2: the proxy_host/sshd cannot resolve invented hostname (amending 1d8b6c2253e6);
Changeset 71565:24b68a932f26 by wenzelm:
back to old-style names for uniform sorting of build_status (amending 138e8226961e);
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 71564:03133befa33b by wenzelm:
support actual_host for lrzcloud2: the proxy_host/sshd cannot resolve invented hostname (amending 1d8b6c2253e6);
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
The file was modified src/Pure/General/ssh.scala (diff)