Console Output

11:55:44 [2022-06-22T15:55:44.925Z] [ssh-agent] Using credentials genie.ease (ssh://genie.ease@projects-storage.eclipse.org)
11:55:44 [2022-06-22T15:55:44.925Z] [ssh-agent] Looking for ssh-agent implementation...
11:55:45 [2022-06-22T15:55:45.216Z] [ssh-agent]   Exec ssh-agent (binary ssh-agent on a remote machine)
11:55:46 [2022-06-22T15:55:46.529Z] $ ssh-agent
11:55:46 [2022-06-22T15:55:46.550Z] SSH_AUTH_SOCK=/tmp/ssh-bsAKzlwIpQ4P/agent.80
11:55:46 [2022-06-22T15:55:46.550Z] SSH_AGENT_PID=82
11:55:46 [2022-06-22T15:55:46.572Z] Running ssh-add (command line suppressed)
11:55:46 [2022-06-22T15:55:46.589Z] Identity added: /home/jenkins/agent/workspace/ease.verify.p2.sites@tmp/private_key_18137465950406122452.key (/home/jenkins/agent/workspace/ease.verify.p2.sites@tmp/private_key_18137465950406122452.key)
11:55:46 [2022-06-22T15:55:46.611Z] [ssh-agent] Started.
11:55:49 [2022-06-22T15:55:49.699Z] $ ssh-agent -k
11:55:49 [2022-06-22T15:55:49.705Z] unset SSH_AUTH_SOCK;
11:55:49 [2022-06-22T15:55:49.706Z] unset SSH_AGENT_PID;
11:55:49 [2022-06-22T15:55:49.706Z] echo Agent pid 82 killed;
11:55:49 [2022-06-22T15:55:49.713Z] [ssh-agent] Stopped.