Console Output

11:17:25 [2024-05-15T15:17:25.863Z] The recommended git tool is: git
11:17:26 [2024-05-15T15:17:26.293Z] No credentials specified
11:17:26 [2024-05-15T15:17:26.498Z] Cloning the remote Git repository
11:17:26 [2024-05-15T15:17:26.703Z] Honoring refspec on initial clone
11:17:26 [2024-05-15T15:17:26.846Z] Cloning repository https://github.com/eclipse/omr.git
11:17:26 [2024-05-15T15:17:26.847Z]  > git init /home/jenkins/workspace/Build # timeout=10
11:17:26 [2024-05-15T15:17:26.939Z] Using reference repository: /home/jenkins//gitcache
11:17:26 [2024-05-15T15:17:26.939Z] Fetching upstream changes from https://github.com/eclipse/omr.git
11:17:26 [2024-05-15T15:17:26.940Z]  > git --version # timeout=10
11:17:26 [2024-05-15T15:17:26.945Z]  > git --version # 'git version 2.25.1'
11:17:26 [2024-05-15T15:17:26.945Z]  > git fetch --tags --force --progress -- https://github.com/eclipse/omr.git +refs/pull/7296/merge:refs/remotes/origin/pr/7296/merge # timeout=30
11:17:40 [2024-05-15T15:17:40.743Z] Avoid second fetch
11:17:41 [2024-05-15T15:17:41.016Z] Checking out Revision d39818c41e3849d854bdfe435768c787ee9b6f1d (refs/remotes/origin/pr/7296/merge)
11:17:40 [2024-05-15T15:17:40.324Z]  > git config remote.origin.url https://github.com/eclipse/omr.git # timeout=10
11:17:40 [2024-05-15T15:17:40.330Z]  > git config --add remote.origin.fetch +refs/pull/7296/merge:refs/remotes/origin/pr/7296/merge # timeout=10
11:17:40 [2024-05-15T15:17:40.885Z]  > git rev-parse refs/remotes/origin/pr/7296/merge^{commit} # timeout=10
11:17:41 [2024-05-15T15:17:41.161Z]  > git config core.sparsecheckout # timeout=10
11:17:41 [2024-05-15T15:17:41.167Z]  > git checkout -f d39818c41e3849d854bdfe435768c787ee9b6f1d # timeout=10
11:17:42 [2024-05-15T15:17:42.423Z] Commit message: "Merge a6e711a06f9929a3ea63c685fe0aa4ab8eaac481 into e4471dab59f99aa1fd94807662190e5abd7d9b6e"