Console Output

09:45:13 [2024-05-23T13:45:13.188Z] The recommended git tool is: git
09:56:37 [2024-05-23T13:56:37.746Z] No credentials specified
09:56:44 [2024-05-23T13:56:44.643Z]  > git rev-parse --resolve-git-dir /home/jenkins/workspace/Build/.git # timeout=10
09:57:20 [2024-05-23T13:57:20.212Z] Fetching changes from the remote Git repository
10:02:37 [2024-05-23T14:02:37.156Z] Checking out Revision a6395fd2323e883b07c1992a9aa196992fe4294c (refs/remotes/origin/pr/7322/merge)
10:02:34 [2024-05-23T14:02:34.675Z]  > git config remote.origin.url https://github.com/eclipse/omr.git # timeout=10
10:02:35 [2024-05-23T14:02:35.378Z] Fetching upstream changes from https://github.com/eclipse/omr.git
10:02:35 [2024-05-23T14:02:35.379Z]  > git --version # timeout=10
10:02:35 [2024-05-23T14:02:35.391Z]  > git --version # 'git version 2.25.1'
10:02:35 [2024-05-23T14:02:35.392Z]  > git fetch --tags --force --progress -- https://github.com/eclipse/omr.git +refs/pull/7322/merge:refs/remotes/origin/pr/7322/merge # timeout=30
10:02:37 [2024-05-23T14:02:37.052Z]  > git rev-parse refs/remotes/origin/pr/7322/merge^{commit} # timeout=10
10:02:37 [2024-05-23T14:02:37.552Z]  > git config core.sparsecheckout # timeout=10
10:02:37 [2024-05-23T14:02:37.561Z]  > git checkout -f a6395fd2323e883b07c1992a9aa196992fe4294c # timeout=10
10:02:53 [2024-05-23T14:02:53.445Z] Commit message: "Merge 0fa80a49d5ab9142c7c8a33923f893f776d3592c into 625d6fbd8c7e56581effbe5aa05f4d1fc259d36e"