Console Output

11:46:09 [2022-05-04T15:46:09.044Z] [ssh-agent] Using credentials genie.ease (ssh://genie.ease@projects-storage.eclipse.org)
11:46:09 [2022-05-04T15:46:09.044Z] [ssh-agent] Looking for ssh-agent implementation...
11:46:10 [2022-05-04T15:46:10.149Z] [ssh-agent]   Exec ssh-agent (binary ssh-agent on a remote machine)
11:46:11 [2022-05-04T15:46:11.648Z] $ ssh-agent
11:46:11 [2022-05-04T15:46:11.662Z] SSH_AUTH_SOCK=/tmp/ssh-daPZTDKdC5Uy/agent.87
11:46:11 [2022-05-04T15:46:11.662Z] SSH_AGENT_PID=89
11:46:11 [2022-05-04T15:46:11.681Z] Running ssh-add (command line suppressed)
11:46:11 [2022-05-04T15:46:11.697Z] Identity added: /home/jenkins/agent/workspace/ease.verify.p2.sites@tmp/private_key_13666322108862441900.key (/home/jenkins/agent/workspace/ease.verify.p2.sites@tmp/private_key_13666322108862441900.key)
11:46:11 [2022-05-04T15:46:11.737Z] [ssh-agent] Started.
11:46:14 [2022-05-04T15:46:14.688Z] $ ssh-agent -k
11:46:14 [2022-05-04T15:46:14.737Z] unset SSH_AUTH_SOCK;
11:46:14 [2022-05-04T15:46:14.738Z] unset SSH_AGENT_PID;
11:46:14 [2022-05-04T15:46:14.738Z] echo Agent pid 89 killed;
11:46:14 [2022-05-04T15:46:14.747Z] [ssh-agent] Stopped.