00:12:52 [ssh-agent] Using credentials jenkins (GitHub Promote Key) 00:12:52 SSH_AUTH_SOCK=/tmp/ssh-YEw3iF1Rq15b/agent.886554 00:12:52 SSH_AGENT_PID=886556 00:12:52 Running ssh-add (command line suppressed) 00:12:52 [ssh-agent] Started. 00:12:53 [ssh-agent] Stopped.
