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