Console Output

Selected Git installation does not exist. Using Default
The recommended git tool is: NONE
using credential Jenkins ORNL
Fetching changes from the remote Git repository
Fetching without tags
 > git rev-parse --resolve-git-dir /var/jenkins/workspace/adamantine_PR-269/.git # timeout=10
 > git config remote.origin.url https://github.com/adamantine-sim/adamantine.git # timeout=10
Fetching upstream changes from https://github.com/adamantine-sim/adamantine.git
 > git --version # timeout=10
 > git --version # 'git version 2.17.1'
using GIT_ASKPASS to set credentials 
 > git fetch --no-tags --progress -- https://github.com/adamantine-sim/adamantine.git +refs/pull/269/head:refs/remotes/origin/PR-269 +refs/heads/master:refs/remotes/origin/master # timeout=10
Merging remotes/origin/master commit eb50c0f0339ea336ff2a82087718e7a0d21a65a9 into PR head commit e1c400bd238ae3134b0b95936326f82f95124592
Merge succeeded, producing e27298e25c9f71e4f4da406f0616637b9357a69c
Checking out Revision e27298e25c9f71e4f4da406f0616637b9357a69c (PR-269)
Commit message: "Merge commit 'eb50c0f0339ea336ff2a82087718e7a0d21a65a9' into HEAD"
First time build. Skipping changelog.
 > git config core.sparsecheckout # timeout=10
 > git checkout -f e1c400bd238ae3134b0b95936326f82f95124592 # timeout=10
 > git remote # timeout=10
 > git config --get remote.origin.url # timeout=10
using GIT_ASKPASS to set credentials 
 > git merge eb50c0f0339ea336ff2a82087718e7a0d21a65a9 # timeout=10
 > git rev-parse HEAD^{commit} # timeout=10
 > git config core.sparsecheckout # timeout=10
 > git checkout -f e27298e25c9f71e4f4da406f0616637b9357a69c # timeout=10
 > git rev-list --no-walk eaad64b042ba07ac55c8f16870e73c65c62d1024 # timeout=10