Console Output

11:46:12 [2022-02-23T16:46:12.162Z] [ssh-agent] Using credentials genie.ease (ssh://genie.ease@projects-storage.eclipse.org)
11:46:12 [2022-02-23T16:46:12.163Z] [ssh-agent] Looking for ssh-agent implementation...
11:46:12 [2022-02-23T16:46:12.851Z] [ssh-agent]   Exec ssh-agent (binary ssh-agent on a remote machine)
11:46:14 [2022-02-23T16:46:14.281Z] $ ssh-agent
11:46:14 [2022-02-23T16:46:14.294Z] SSH_AUTH_SOCK=/tmp/ssh-HoUcwNlhPKfW/agent.83
11:46:14 [2022-02-23T16:46:14.294Z] SSH_AGENT_PID=85
11:46:14 [2022-02-23T16:46:14.326Z] Running ssh-add (command line suppressed)
11:46:14 [2022-02-23T16:46:14.342Z] Identity added: /home/jenkins/agent/workspace/ease.verify.p2.sites@tmp/private_key_6022913949973210828.key (/home/jenkins/agent/workspace/ease.verify.p2.sites@tmp/private_key_6022913949973210828.key)
11:46:14 [2022-02-23T16:46:14.364Z] [ssh-agent] Started.
11:46:17 [2022-02-23T16:46:17.317Z] $ ssh-agent -k
11:46:17 [2022-02-23T16:46:17.324Z] unset SSH_AUTH_SOCK;
11:46:17 [2022-02-23T16:46:17.325Z] unset SSH_AGENT_PID;
11:46:17 [2022-02-23T16:46:17.325Z] echo Agent pid 85 killed;
11:46:17 [2022-02-23T16:46:17.327Z] [ssh-agent] Stopped.