Closed SethTisue closed 7 years ago
this is mildly urgent, since the node is running low on disk space (10GB left) so I need to ssh in and fixedrm
stuff. it won't run out in a few days, but might run out in a week or so.
aha, so from jenkins-master, ssh -i ~/.ssh/jenkins_id_rsa jenkins@172.31.0.178
works. I got the new IP address from https://scala-ci.typesafe.com/computer/jenkins-worker-windows-publish/log
I'll update the instructions soon
the action is now at #228
the information in
doc/client-setup.md
is no longer accurate. not even sure if the IP address listed there is accurate anymoreI'm pretty sure Adriaan recently made it so you have to ssh to jenkins-master first, then ssh from there to j-w-w-p
@adriaanm can you verify that you're able to do this yourself and if so, briefly indicate how? I can take care of properly updating the client setup instructions if you can just point me in the right direction