Console Output

03:48:39 Started by user Pierre-Charles David
03:48:39 Running as Pierre-Charles David
03:48:39 Building in workspace /var/jenkins/workspace/sirius-7.1.x
03:48:39 [ssh-agent] Looking for ssh-agent implementation...
03:48:39 [ssh-agent]   Exec ssh-agent (binary ssh-agent on a remote machine)
03:48:39 $ ssh-agent
03:48:39 SSH_AUTH_SOCK=/tmp/ssh-XXXXXXy7eGiC/agent.86447
03:48:39 SSH_AGENT_PID=86450
03:48:39 [ssh-agent] Started.
03:48:39 Running ssh-add (command line suppressed)
03:48:39 Identity added: /var/jenkins/workspace/sirius-7.1.x@tmp/private_key_11919046807642811751.key (/var/jenkins/workspace/sirius-7.1.x@tmp/private_key_11919046807642811751.key)
03:48:39 [ssh-agent] Using credentials genie.sirius (ssh://genie.sirius@projects-storage.eclipse.org)
03:48:39 The recommended git tool is: git
03:48:39 No credentials specified
03:48:39  > git rev-parse --resolve-git-dir /var/jenkins/workspace/sirius-7.1.x/.git # timeout=10
03:48:39 Fetching changes from the remote Git repository
03:48:39  > git config remote.origin.url https://github.com/eclipse-sirius/sirius-desktop.git # timeout=10
03:48:39 Fetching upstream changes from https://github.com/eclipse-sirius/sirius-desktop.git
03:48:39  > git --version # timeout=10
03:48:39  > git --version # 'git version 2.43.2'
03:48:39  > git fetch --tags --force --progress -- https://github.com/eclipse-sirius/sirius-desktop.git +refs/heads/*:refs/remotes/origin/* # timeout=10
03:48:43  > git rev-parse origin/v7.1.x^{commit} # timeout=10
03:48:43 Checking out Revision cfce36d75b222d0d7687692fe5910b5cc7c07b8e (origin/v7.1.x)
03:48:43  > git config core.sparsecheckout # timeout=10
03:48:43  > git checkout -f cfce36d75b222d0d7687692fe5910b5cc7c07b8e # timeout=10
03:48:51 Commit message: "[doc] Add 7.1.2 section to the release notes"
03:48:51  > git rev-list --no-walk 036117395b475b4b0acf04fac73485b6fa9a2daa # timeout=10
03:48:51 Triggering sirius-7.1.x » 2021-06,openjdk-jdk17-latest,migration
03:48:56 Configuration sirius-7.1.x » 2021-06,openjdk-jdk17-latest,migration is still in the queue: ‘centos-7-k6ghp’ is offline
03:59:54 sirius-7.1.x » 2021-06,openjdk-jdk17-latest,migration completed with result SUCCESS
03:59:54 $ ssh-agent -k
03:59:54 unset SSH_AUTH_SOCK;
03:59:54 unset SSH_AGENT_PID;
03:59:54 echo Agent pid 86450 killed;
03:59:54 [ssh-agent] Stopped.
03:59:54 Finished: SUCCESS