Console Output

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