Console Output

GitHub pull request #578 of commit 0f4b9ee3a5d15e77e1c154a70fb92f4365bb6efd, no merge conflicts.
Running as SYSTEM
Setting status of 0f4b9ee3a5d15e77e1c154a70fb92f4365bb6efd to PENDING with url and message: 'Build started for merge commit.'
[EnvInject] - Loading node environment variables.
Building on master in workspace /var/lib/jenkins/jobs/mango-prb/workspace
The recommended git tool is: NONE
No credentials specified
 > git rev-parse --is-inside-work-tree # timeout=30
Fetching changes from the remote Git repository
 > git config remote.origin.url # timeout=30
Fetching upstream changes from
 > git --version # timeout=30
 > git --version # 'git version 2.25.1'
 > git fetch --tags --force --progress -- +refs/pull/*:refs/remotes/origin/pr/* # timeout=30
 > git rev-parse refs/remotes/origin/pr/578/merge^{commit} # timeout=30
Checking out Revision 2f9edabab58f3c4e3c32b6d4a154057243c656ef (refs/remotes/origin/pr/578/merge)
 > git config core.sparsecheckout # timeout=30
 > git checkout -f 2f9edabab58f3c4e3c32b6d4a154057243c656ef # timeout=30
Commit message: "Merge 0f4b9ee3a5d15e77e1c154a70fb92f4365bb6efd into 2eaf18e37481f97e5b996903dde30e34f03a1d1e"
First time build. Skipping changelog.
Triggering mango-prb » 3.2.1,2.12,3.0.1,amp-jenkins-staging-worker-02
mango-prb » 3.2.1,2.12,3.0.1,amp-jenkins-staging-worker-02 completed with result SUCCESS
Setting status of 0f4b9ee3a5d15e77e1c154a70fb92f4365bb6efd to SUCCESS with url and message: 'Build finished. '

Refer to this link for build results (access rights to CI server needed):

Finished: SUCCESS