Console Output

10:36:58 [2024-05-09T14:36:58.128Z] The recommended git tool is: git
10:36:58 [2024-05-09T14:36:58.638Z] No credentials specified
10:36:58 [2024-05-09T14:36:58.863Z] Cloning the remote Git repository
10:36:59 [2024-05-09T14:36:59.127Z] Honoring refspec on initial clone
10:36:59 [2024-05-09T14:36:59.282Z] Cloning repository https://github.com/eclipse/omr.git
10:36:59 [2024-05-09T14:36:59.285Z]  > git init /home/jenkins/workspace/Build # timeout=10
10:36:59 [2024-05-09T14:36:59.302Z] Using reference repository: /home/jenkins//gitcache
10:36:59 [2024-05-09T14:36:59.302Z] Fetching upstream changes from https://github.com/eclipse/omr.git
10:36:59 [2024-05-09T14:36:59.302Z]  > git --version # timeout=10
10:36:59 [2024-05-09T14:36:59.306Z]  > git --version # 'git version 2.25.1'
10:36:59 [2024-05-09T14:36:59.306Z]  > git fetch --tags --force --progress -- https://github.com/eclipse/omr.git +refs/pull/7313/merge:refs/remotes/origin/pr/7313/merge # timeout=30
10:37:11 [2024-05-09T14:37:11.445Z] Avoid second fetch
10:37:11 [2024-05-09T14:37:11.650Z] Checking out Revision a14af807b85b1c2c6b8151c5ee32cd969fd736ec (refs/remotes/origin/pr/7313/merge)
10:37:11 [2024-05-09T14:37:11.152Z]  > git config remote.origin.url https://github.com/eclipse/omr.git # timeout=10
10:37:11 [2024-05-09T14:37:11.158Z]  > git config --add remote.origin.fetch +refs/pull/7313/merge:refs/remotes/origin/pr/7313/merge # timeout=10
10:37:11 [2024-05-09T14:37:11.553Z]  > git rev-parse refs/remotes/origin/pr/7313/merge^{commit} # timeout=10
10:37:11 [2024-05-09T14:37:11.776Z]  > git config core.sparsecheckout # timeout=10
10:37:11 [2024-05-09T14:37:11.783Z]  > git checkout -f a14af807b85b1c2c6b8151c5ee32cd969fd736ec # timeout=10
10:37:13 [2024-05-09T14:37:13.061Z] Commit message: "Merge 9589a576ef6a5c030a137ebe549296eb41c439a8 into 9a431c4402e2bd0769befe1c0888bc7080fe787d"