Console Output

06:38:10 [2023-10-22T10:38:10.231Z] [ssh-agent] Using credentials genie.xtext (ssh://genie.xtext@projects-storage.eclipse.org)
06:38:10 [2023-10-22T10:38:10.231Z] [ssh-agent] Looking for ssh-agent implementation...
06:38:10 [2023-10-22T10:38:10.250Z] [ssh-agent]   Exec ssh-agent (binary ssh-agent on a remote machine)
06:38:10 [2023-10-22T10:38:10.252Z] $ ssh-agent
06:38:10 [2023-10-22T10:38:10.260Z] SSH_AUTH_SOCK=/tmp/ssh-r0YFTNXOtywF/agent.140
06:38:10 [2023-10-22T10:38:10.260Z] SSH_AGENT_PID=142
06:38:10 [2023-10-22T10:38:10.269Z] Running ssh-add (command line suppressed)
06:38:10 [2023-10-22T10:38:10.279Z] Identity added: /home/jenkins/agent/workspace/xtext-monorepo-full-deploy-milestone@tmp/private_key_9670069707263927480.key (/home/jenkins/agent/workspace/xtext-monorepo-full-deploy-milestone@tmp/private_key_9670069707263927480.key)
06:38:10 [2023-10-22T10:38:10.292Z] [ssh-agent] Started.
06:38:12 [2023-10-22T10:38:12.911Z] $ ssh-agent -k
06:38:12 [2023-10-22T10:38:12.914Z] unset SSH_AUTH_SOCK;
06:38:12 [2023-10-22T10:38:12.915Z] unset SSH_AGENT_PID;
06:38:12 [2023-10-22T10:38:12.915Z] echo Agent pid 142 killed;
06:38:12 [2023-10-22T10:38:12.919Z] [ssh-agent] Stopped.