Console Output

21:01:49 [2024-06-11T01:01:49.202Z] The recommended git tool is: git
21:01:49 [2024-06-11T01:01:49.412Z] No credentials specified
21:01:49 [2024-06-11T01:01:49.492Z] Cloning the remote Git repository
21:01:49 [2024-06-11T01:01:49.571Z] Honoring refspec on initial clone
21:01:49 [2024-06-11T01:01:49.616Z] Cloning repository https://github.com/eclipse/omr.git
21:01:49 [2024-06-11T01:01:49.616Z]  > git init /home/jenkins/jenkins-agent/workspace/Build # timeout=10
21:01:51 [2024-06-11T01:01:51.205Z] Using reference repository: /home/jenkins/gitcache
21:01:51 [2024-06-11T01:01:51.205Z] Fetching upstream changes from https://github.com/eclipse/omr.git
21:01:51 [2024-06-11T01:01:51.205Z]  > git --version # timeout=10
21:01:51 [2024-06-11T01:01:51.208Z]  > git --version # 'git version 2.25.1'
21:01:51 [2024-06-11T01:01:51.208Z]  > git fetch --tags --force --progress -- https://github.com/eclipse/omr.git +refs/pull/7366/merge:refs/remotes/origin/pr/7366/merge # timeout=30
21:02:05 [2024-06-11T01:02:05.310Z] Avoid second fetch
21:02:05 [2024-06-11T01:02:05.420Z] Checking out Revision c631a3edfdee68de19672385960c27fd061269ba (refs/remotes/origin/pr/7366/merge)
21:02:06 [2024-06-11T01:02:06.077Z] Commit message: "Merge 8acd2cd5ced9e82dafa77985119cdd8e73738025 into 817c5ec7eb4d1364a57a71f977aef71add6a7cc3"
21:02:05 [2024-06-11T01:02:05.186Z]  > git config remote.origin.url https://github.com/eclipse/omr.git # timeout=10
21:02:05 [2024-06-11T01:02:05.189Z]  > git config --add remote.origin.fetch +refs/pull/7366/merge:refs/remotes/origin/pr/7366/merge # timeout=10
21:02:05 [2024-06-11T01:02:05.354Z]  > git rev-parse refs/remotes/origin/pr/7366/merge^{commit} # timeout=10
21:02:05 [2024-06-11T01:02:05.464Z]  > git config core.sparsecheckout # timeout=10
21:02:05 [2024-06-11T01:02:05.466Z]  > git checkout -f c631a3edfdee68de19672385960c27fd061269ba # timeout=10