Console Output

12:43:26 [2024-06-12T16:43:26.976Z] The recommended git tool is: git
12:43:27 [2024-06-12T16:43:27.399Z] No credentials specified
12:43:27 [2024-06-12T16:43:27.593Z] Cloning the remote Git repository
12:43:27 [2024-06-12T16:43:27.805Z] Honoring refspec on initial clone
12:43:27 [2024-06-12T16:43:27.941Z] Cloning repository https://github.com/eclipse/omr.git
12:43:27 [2024-06-12T16:43:27.942Z]  > git init /home/jenkins/workspace/Build # timeout=10
12:43:27 [2024-06-12T16:43:27.954Z] Using reference repository: /home/jenkins//gitcache
12:43:27 [2024-06-12T16:43:27.955Z] Fetching upstream changes from https://github.com/eclipse/omr.git
12:43:27 [2024-06-12T16:43:27.955Z]  > git --version # timeout=10
12:43:27 [2024-06-12T16:43:27.960Z]  > git --version # 'git version 2.25.1'
12:43:27 [2024-06-12T16:43:27.960Z]  > git fetch --tags --force --progress -- https://github.com/eclipse/omr.git +refs/pull/7321/merge:refs/remotes/origin/pr/7321/merge # timeout=30
12:43:42 [2024-06-12T16:43:42.746Z] Avoid second fetch
12:43:42 [2024-06-12T16:43:42.967Z] Checking out Revision 6d24ee4bbbc50203a5e12e2b2143a9b0694d0e94 (refs/remotes/origin/pr/7321/merge)
12:43:42 [2024-06-12T16:43:42.390Z]  > git config remote.origin.url https://github.com/eclipse/omr.git # timeout=10
12:43:42 [2024-06-12T16:43:42.397Z]  > git config --add remote.origin.fetch +refs/pull/7321/merge:refs/remotes/origin/pr/7321/merge # timeout=10
12:43:42 [2024-06-12T16:43:42.866Z]  > git rev-parse refs/remotes/origin/pr/7321/merge^{commit} # timeout=10
12:43:44 [2024-06-12T16:43:44.366Z] Commit message: "Merge 9790452d430bddccdc9cdd9cfd6acdff3dcdba84 into 87350903300de2d8901b2de5fa564cf9b78d7add"
12:43:43 [2024-06-12T16:43:43.102Z]  > git config core.sparsecheckout # timeout=10
12:43:43 [2024-06-12T16:43:43.109Z]  > git checkout -f 6d24ee4bbbc50203a5e12e2b2143a9b0694d0e94 # timeout=10