GitHub pull request #584 of commit ad71bc8892cf1ae5a74ec17bdb9b0c087af77058, no merge conflicts. Running as SYSTEM Setting status of ad71bc8892cf1ae5a74ec17bdb9b0c087af77058 to PENDING with url https://amplab.cs.berkeley.edu/jenkins/job/mango-prb/1017/ 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 8d20ec8d3a440c4ab66adc829d6c834aac920bf7 (refs/remotes/origin/pr/584/merge) > git config core.sparsecheckout # timeout=30 > git checkout -f 8d20ec8d3a440c4ab66adc829d6c834aac920bf7 # timeout=30 Commit message: "Merge ad71bc8892cf1ae5a74ec17bdb9b0c087af77058 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 FAILURE Setting status of ad71bc8892cf1ae5a74ec17bdb9b0c087af77058 to FAILURE with url https://amplab.cs.berkeley.edu/jenkins/job/mango-prb/1017/ 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/1017/ Finished: FAILURE