Console Output

18:28:54 [2024-06-04T22:28:54.162Z] The recommended git tool is: git
18:29:50 [2024-06-04T22:29:50.106Z] No credentials specified
18:29:50 [2024-06-04T22:29:50.323Z] Cloning the remote Git repository
18:29:50 [2024-06-04T22:29:50.577Z] Honoring refspec on initial clone
18:29:51 [2024-06-04T22:29:51.161Z] Cloning repository https://github.com/eclipse/omr.git
18:29:51 [2024-06-04T22:29:51.423Z]  > git init /home/jenkins/workspace/Build # timeout=10
18:29:52 [2024-06-04T22:29:52.146Z] Using reference repository: /home/jenkins//gitcache
18:29:52 [2024-06-04T22:29:52.149Z] Fetching upstream changes from https://github.com/eclipse/omr.git
18:29:52 [2024-06-04T22:29:52.149Z]  > git --version # timeout=10
18:29:52 [2024-06-04T22:29:52.156Z]  > git --version # 'git version 2.25.1'
18:29:52 [2024-06-04T22:29:52.157Z]  > git fetch --tags --force --progress -- https://github.com/eclipse/omr.git +refs/pull/7357/merge:refs/remotes/origin/pr/7357/merge # timeout=30
18:30:03 [2024-06-04T22:30:03.826Z]  > git config remote.origin.url https://github.com/eclipse/omr.git # timeout=10
18:30:03 [2024-06-04T22:30:03.831Z]  > git config --add remote.origin.fetch +refs/pull/7357/merge:refs/remotes/origin/pr/7357/merge # timeout=10
18:30:25 [2024-06-04T22:30:25.914Z] Avoid second fetch
18:30:26 [2024-06-04T22:30:26.140Z] Checking out Revision 086ca527515d3c3ae3cfbd7c110e8ba1af2fd110 (refs/remotes/origin/pr/7357/merge)
18:30:26 [2024-06-04T22:30:26.059Z]  > git rev-parse refs/remotes/origin/pr/7357/merge^{commit} # timeout=10
18:30:26 [2024-06-04T22:30:26.506Z]  > git config core.sparsecheckout # timeout=10
18:30:26 [2024-06-04T22:30:26.517Z]  > git checkout -f 086ca527515d3c3ae3cfbd7c110e8ba1af2fd110 # timeout=10
18:30:37 [2024-06-04T22:30:37.879Z] Commit message: "Merge 773a2df6406e7b2445e9930535367d0e8356cc51 into a3bc75a88c9099622463fe90af1697a92e00ae41"