Console Output

15:24:53 [2024-03-25T19:24:53.763Z] The recommended git tool is: git
15:24:54 [2024-03-25T19:24:54.273Z] No credentials specified
15:24:54 [2024-03-25T19:24:54.531Z] Cloning the remote Git repository
15:24:54 [2024-03-25T19:24:54.812Z] Honoring refspec on initial clone
15:24:54 [2024-03-25T19:24:54.938Z] Cloning repository https://github.com/eclipse/omr.git
15:24:54 [2024-03-25T19:24:54.941Z]  > git init /home/jenkins/workspace/Build # timeout=10
15:24:54 [2024-03-25T19:24:54.954Z] Using reference repository: /home/jenkins//gitcache
15:24:54 [2024-03-25T19:24:54.954Z] Fetching upstream changes from https://github.com/eclipse/omr.git
15:24:54 [2024-03-25T19:24:54.954Z]  > git --version # timeout=10
15:24:54 [2024-03-25T19:24:54.962Z]  > git --version # 'git version 2.25.1'
15:24:54 [2024-03-25T19:24:54.962Z]  > git fetch --tags --force --progress -- https://github.com/eclipse/omr.git +refs/pull/7288/merge:refs/remotes/origin/pr/7288/merge # timeout=30
15:25:22 [2024-03-25T19:25:22.625Z] Avoid second fetch
15:25:22 [2024-03-25T19:25:22.927Z] Checking out Revision 0d85abe40fa98a0a16f7cea11845581f6c6075d0 (refs/remotes/origin/pr/7288/merge)
15:25:24 [2024-03-25T19:25:24.355Z] Commit message: "Merge 1691da57ca16d09deed4aa8a997c088c814c383d into 6c6d6383ccd93937d1987de8e818a0a63118b01e"
15:25:22 [2024-03-25T19:25:22.268Z]  > git config remote.origin.url https://github.com/eclipse/omr.git # timeout=10
15:25:22 [2024-03-25T19:25:22.279Z]  > git config --add remote.origin.fetch +refs/pull/7288/merge:refs/remotes/origin/pr/7288/merge # timeout=10
15:25:22 [2024-03-25T19:25:22.773Z]  > git rev-parse refs/remotes/origin/pr/7288/merge^{commit} # timeout=10
15:25:23 [2024-03-25T19:25:23.038Z]  > git config core.sparsecheckout # timeout=10
15:25:23 [2024-03-25T19:25:23.043Z]  > git checkout -f 0d85abe40fa98a0a16f7cea11845581f6c6075d0 # timeout=10