Console Output

11:46:12 [2022-09-28T15:46:12.327Z] [ssh-agent] Using credentials genie.ease (ssh://genie.ease@projects-storage.eclipse.org)
11:46:12 [2022-09-28T15:46:12.328Z] [ssh-agent] Looking for ssh-agent implementation...
11:46:12 [2022-09-28T15:46:12.917Z] [ssh-agent]   Exec ssh-agent (binary ssh-agent on a remote machine)
11:46:14 [2022-09-28T15:46:14.354Z] $ ssh-agent
11:46:14 [2022-09-28T15:46:14.367Z] SSH_AUTH_SOCK=/tmp/ssh-IXvwHrXd6ZjE/agent.78
11:46:14 [2022-09-28T15:46:14.367Z] SSH_AGENT_PID=80
11:46:14 [2022-09-28T15:46:14.390Z] Running ssh-add (command line suppressed)
11:46:14 [2022-09-28T15:46:14.406Z] Identity added: /home/jenkins/agent/workspace/ease.verify.p2.sites@tmp/private_key_3214035158917873420.key (/home/jenkins/agent/workspace/ease.verify.p2.sites@tmp/private_key_3214035158917873420.key)
11:46:14 [2022-09-28T15:46:14.432Z] [ssh-agent] Started.
11:46:17 [2022-09-28T15:46:17.509Z] $ ssh-agent -k
11:46:17 [2022-09-28T15:46:17.514Z] unset SSH_AUTH_SOCK;
11:46:17 [2022-09-28T15:46:17.515Z] unset SSH_AGENT_PID;
11:46:17 [2022-09-28T15:46:17.515Z] echo Agent pid 80 killed;
11:46:17 [2022-09-28T15:46:17.564Z] [ssh-agent] Stopped.