GitHub pull request #581 of commit 2c70b3ab58fae43d3352f466fbb745a812bd16da, no merge conflicts. Running as SYSTEM Setting status of 2c70b3ab58fae43d3352f466fbb745a812bd16da 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/581/merge^{commit} # timeout=30 Checking out Revision c95da885757f38f3472322f244b63f26a5ce7e6c (refs/remotes/origin/pr/581/merge) > git config core.sparsecheckout # timeout=30 > git checkout -f c95da885757f38f3472322f244b63f26a5ce7e6c # timeout=30 Commit message: "Merge 2c70b3ab58fae43d3352f466fbb745a812bd16da into 510cb79c146250a5cc289b860e90fc0462815e1e" First time build. Skipping changelog. Triggering mango-prb » 3.2.1,2.12,3.0.1,ubuntu mango-prb » 3.2.1,2.12,3.0.1,ubuntu completed with result FAILURE Setting status of 2c70b3ab58fae43d3352f466fbb745a812bd16da to FAILURE with url and message: 'Build finished. ' Refer to this link for build results (access rights to CI server needed): Finished: FAILURE