Console Output

11:40:49 [2024-04-12T15:40:49.034Z] The recommended git tool is: git
11:40:49 [2024-04-12T15:40:49.563Z] No credentials specified
11:40:49 [2024-04-12T15:40:49.917Z] Cloning the remote Git repository
11:40:50 [2024-04-12T15:40:50.220Z] Honoring refspec on initial clone
11:40:50 [2024-04-12T15:40:50.359Z] Cloning repository https://github.com/eclipse/omr.git
11:40:50 [2024-04-12T15:40:50.361Z]  > git init /home/jenkins/workspace/Build # timeout=10
11:40:50 [2024-04-12T15:40:50.373Z] Using reference repository: /home/jenkins//gitcache
11:40:50 [2024-04-12T15:40:50.374Z] Fetching upstream changes from https://github.com/eclipse/omr.git
11:40:50 [2024-04-12T15:40:50.374Z]  > git --version # timeout=10
11:40:50 [2024-04-12T15:40:50.379Z]  > git --version # 'git version 2.25.1'
11:40:50 [2024-04-12T15:40:50.379Z]  > git fetch --tags --force --progress -- https://github.com/eclipse/omr.git +refs/pull/7309/merge:refs/remotes/origin/pr/7309/merge # timeout=30
11:41:01 [2024-04-12T15:41:01.440Z] Avoid second fetch
11:41:01 [2024-04-12T15:41:01.659Z] Checking out Revision 10d530bd19fbb8377ba2ebf52f1897bea79fd691 (refs/remotes/origin/pr/7309/merge)
11:41:01 [2024-04-12T15:41:01.027Z]  > git config remote.origin.url https://github.com/eclipse/omr.git # timeout=10
11:41:01 [2024-04-12T15:41:01.049Z]  > git config --add remote.origin.fetch +refs/pull/7309/merge:refs/remotes/origin/pr/7309/merge # timeout=10
11:41:01 [2024-04-12T15:41:01.556Z]  > git rev-parse refs/remotes/origin/pr/7309/merge^{commit} # timeout=10
11:41:03 [2024-04-12T15:41:03.204Z] Commit message: "Merge 9b1658a94b1e65d7fb00d719039e88a622c98ff9 into 81ef74e866ff5669956e863fb5ff006519c4daff"
11:41:01 [2024-04-12T15:41:01.756Z]  > git config core.sparsecheckout # timeout=10
11:41:01 [2024-04-12T15:41:01.764Z]  > git checkout -f 10d530bd19fbb8377ba2ebf52f1897bea79fd691 # timeout=10