06:35:09 Started by an SCM change 06:35:09 Running as SYSTEM 06:35:09 Building in workspace /var/jenkins/workspace/sirius-master 06:35:09 [ssh-agent] Looking for ssh-agent implementation... 06:35:09 [ssh-agent] Exec ssh-agent (binary ssh-agent on a remote machine) 06:35:09 $ ssh-agent 06:35:09 SSH_AUTH_SOCK=/tmp/ssh-XXXXXXoMRmHG/agent.431270 06:35:09 SSH_AGENT_PID=431273 06:35:09 [ssh-agent] Started. 06:35:09 Running ssh-add (command line suppressed) 06:35:09 Identity added: /var/jenkins/workspace/sirius-master@tmp/private_key_13501858958533670771.key (/var/jenkins/workspace/sirius-master@tmp/private_key_13501858958533670771.key) 06:35:09 [ssh-agent] Using credentials genie.sirius (ssh://genie.sirius@projects-storage.eclipse.org) 06:35:09 The recommended git tool is: git 06:35:09 No credentials specified 06:35:09 > git rev-parse --resolve-git-dir /var/jenkins/workspace/sirius-master/.git # timeout=10 06:35:09 Fetching changes from the remote Git repository 06:35:10 > git config remote.origin.url https://github.com/eclipse-sirius/sirius-desktop.git # timeout=10 06:35:10 Fetching upstream changes from https://github.com/eclipse-sirius/sirius-desktop.git 06:35:10 > git --version # timeout=10 06:35:10 > git --version # 'git version 2.43.2' 06:35:10 > git fetch --tags --force --progress -- https://github.com/eclipse-sirius/sirius-desktop.git +refs/heads/*:refs/remotes/origin/* # timeout=10 06:35:28 > git rev-parse origin/master^{commit} # timeout=10 06:35:28 Checking out Revision f57b7dc44ccad7220a2527e59f285e37d997e6e7 (origin/master) 06:35:28 > git config core.sparsecheckout # timeout=10 06:35:28 > git checkout -f f57b7dc44ccad7220a2527e59f285e37d997e6e7 # timeout=10 06:35:33 Commit message: "[346] Make "Paste Style" colorize fully the gradient style" 06:35:33 > git rev-list --no-walk 88847ff0f98c5820d61058dcb809ec51e20cd8e3 # timeout=10 06:35:34 Triggering sirius-master » 2023-03,openjdk-jdk17-latest,migration 06:35:39 Configuration sirius-master » 2023-03,openjdk-jdk17-latest,migration is still in the queue: ‘centos-7-fj98q’ is offline 06:48:51 sirius-master » 2023-03,openjdk-jdk17-latest,migration completed with result SUCCESS 06:48:51 $ ssh-agent -k 06:48:51 unset SSH_AUTH_SOCK; 06:48:51 unset SSH_AGENT_PID; 06:48:51 echo Agent pid 431273 killed; 06:48:51 [ssh-agent] Stopped. 06:48:51 Finished: SUCCESS