Started by user Pierre-Charles David Running as Pierre-Charles David Building in workspace /var/jenkins/workspace/emf-transaction-master [ssh-agent] Looking for ssh-agent implementation... [ssh-agent] Exec ssh-agent (binary ssh-agent on a remote machine) $ ssh-agent SSH_AUTH_SOCK=/tmp/ssh-rctBK0C01daS/agent.1245727 SSH_AGENT_PID=1245730 [ssh-agent] Started. Running ssh-add (command line suppressed) Identity added: /var/jenkins/workspace/emf-transaction-master@tmp/private_key_5740871368476915358.key (/var/jenkins/workspace/emf-transaction-master@tmp/private_key_5740871368476915358.key) [ssh-agent] Using credentials genie.emfservices (ssh://genie.emfservices@projects-storage.eclipse.org) The recommended git tool is: NONE No credentials specified > git rev-parse --resolve-git-dir /var/jenkins/workspace/emf-transaction-master/.git # timeout=10 Fetching changes from the remote Git repository > git config remote.origin.url https://github.com/eclipse/emf-transaction.git # timeout=10 Fetching upstream changes from https://github.com/eclipse/emf-transaction.git > git --version # timeout=10 > git --version # 'git version 2.20.1' > git fetch --tags --force --progress -- https://github.com/eclipse/emf-transaction.git +refs/heads/*:refs/remotes/origin/* # timeout=10 > git rev-parse origin/master^{commit} # timeout=10 Checking out Revision 688bb2460d29f1c0c3f17a8e785a1b0406eca894 (origin/master) > git config core.sparsecheckout # timeout=10 > git checkout -f 688bb2460d29f1c0c3f17a8e785a1b0406eca894 # timeout=10 Commit message: "[doc] Fix releases URL in README" > git rev-list --no-walk 688bb2460d29f1c0c3f17a8e785a1b0406eca894 # timeout=10 Cleaning workspace > git rev-parse --verify HEAD # timeout=10 Resetting working tree > git reset --hard # timeout=10 > git clean -fdx # timeout=10 Triggering emf-transaction-master » openjdk-jdk11-latest,migration Configuration emf-transaction-master » openjdk-jdk11-latest,migration is still in the queue: ‘centos-7-b75gn’ is offline emf-transaction-master » openjdk-jdk11-latest,migration completed with result UNSTABLE $ ssh-agent -k unset SSH_AUTH_SOCK; unset SSH_AGENT_PID; echo Agent pid 1245730 killed; [ssh-agent] Stopped. Finished: UNSTABLE