Console Output

10:17:06 [2023-09-12T14:17:06.625Z] [ssh-agent] Using credentials genie.cdt (ssh://genie.cdt@projects-storage.eclipse.org)
10:17:06 [2023-09-12T14:17:06.626Z] [ssh-agent] Looking for ssh-agent implementation...
10:17:06 [2023-09-12T14:17:06.657Z] [ssh-agent]   Exec ssh-agent (binary ssh-agent on a remote machine)
10:17:06 [2023-09-12T14:17:06.661Z] $ ssh-agent
10:17:06 [2023-09-12T14:17:06.674Z] SSH_AUTH_SOCK=/tmp/ssh-QDTvdgOj8MeF/agent.142
10:17:06 [2023-09-12T14:17:06.675Z] SSH_AGENT_PID=144
10:17:06 [2023-09-12T14:17:06.697Z] Running ssh-add (command line suppressed)
10:17:06 [2023-09-12T14:17:06.708Z] Identity added: /home/jenkins/agent/workspace/promote-a-build@tmp/private_key_18307837745427830691.key (/home/jenkins/agent/workspace/promote-a-build@tmp/private_key_18307837745427830691.key)
10:17:06 [2023-09-12T14:17:06.724Z] [ssh-agent] Started.
10:17:36 [2023-09-12T14:17:36.538Z] $ ssh-agent -k
10:17:36 [2023-09-12T14:17:36.542Z] unset SSH_AUTH_SOCK;
10:17:36 [2023-09-12T14:17:36.542Z] unset SSH_AGENT_PID;
10:17:36 [2023-09-12T14:17:36.542Z] echo Agent pid 144 killed;
10:17:36 [2023-09-12T14:17:36.555Z] [ssh-agent] Stopped.