Console Output

09:08:25 [2024-05-20T13:08:25.569Z] [ssh-agent] Using credentials genie.xtext (ssh://genie.xtext@projects-storage.eclipse.org)
09:08:25 [2024-05-20T13:08:25.569Z] [ssh-agent] Looking for ssh-agent implementation...
09:08:25 [2024-05-20T13:08:25.596Z] [ssh-agent]   Exec ssh-agent (binary ssh-agent on a remote machine)
09:08:25 [2024-05-20T13:08:25.599Z] $ ssh-agent
09:08:25 [2024-05-20T13:08:25.612Z] SSH_AUTH_SOCK=/tmp/ssh-bdLPhC6o44nI/agent.138
09:08:25 [2024-05-20T13:08:25.612Z] SSH_AGENT_PID=140
09:08:25 [2024-05-20T13:08:25.626Z] Running ssh-add (command line suppressed)
09:08:25 [2024-05-20T13:08:25.644Z] Identity added: /home/jenkins/agent/workspace/xtext-monorepo-full-deploy-milestone@tmp/private_key_12620695770026189029.key (/home/jenkins/agent/workspace/xtext-monorepo-full-deploy-milestone@tmp/private_key_12620695770026189029.key)
09:08:25 [2024-05-20T13:08:25.656Z] [ssh-agent] Started.
09:08:28 [2024-05-20T13:08:28.290Z] $ ssh-agent -k
09:08:28 [2024-05-20T13:08:28.296Z] unset SSH_AUTH_SOCK;
09:08:28 [2024-05-20T13:08:28.296Z] unset SSH_AGENT_PID;
09:08:28 [2024-05-20T13:08:28.297Z] echo Agent pid 140 killed;
09:08:28 [2024-05-20T13:08:28.304Z] [ssh-agent] Stopped.