Console Output

GitHub pull request #584 of commit 00efc18e331046d7c3059094028498955e8d1079, no merge conflicts.
Running as SYSTEM
Setting status of 00efc18e331046d7c3059094028498955e8d1079 to PENDING with url https://amplab.cs.berkeley.edu/jenkins/job/mango-prb/1020/ 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 --resolve-git-dir /var/lib/jenkins/jobs/mango-prb/workspace/.git # timeout=30
Fetching changes from the remote Git repository
 > git config remote.origin.url https://github.com/bigdatagenomics/mango.git # timeout=30
Fetching upstream changes from https://github.com/bigdatagenomics/mango.git
 > git --version # timeout=30
 > git --version # 'git version 2.25.1'
 > git fetch --tags --force --progress -- https://github.com/bigdatagenomics/mango.git +refs/pull/*:refs/remotes/origin/pr/* # timeout=30
 > git rev-parse refs/remotes/origin/pr/584/merge^{commit} # timeout=30
Checking out Revision 9dc601008d1844c3d675c8f3ed7db302ea5390f4 (refs/remotes/origin/pr/584/merge)
 > git config core.sparsecheckout # timeout=30
 > git checkout -f 9dc601008d1844c3d675c8f3ed7db302ea5390f4 # timeout=30
Commit message: "Merge 00efc18e331046d7c3059094028498955e8d1079 into 855af7021a2ed879e4736da2202683ff16e67563"
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 SUCCESS
Setting status of 00efc18e331046d7c3059094028498955e8d1079 to SUCCESS with url https://amplab.cs.berkeley.edu/jenkins/job/mango-prb/1020/ and message: 'Build finished. '

Refer to this link for build results (access rights to CI server needed): 
https://amplab.cs.berkeley.edu/jenkins//job/mango-prb/1020/

Finished: SUCCESS