Console Output

09:42:37 [2024-06-30T13:42:37.442Z] The recommended git tool is: git
09:42:37 [2024-06-30T13:42:37.819Z] No credentials specified
09:42:38 [2024-06-30T13:42:38.022Z] Cloning the remote Git repository
09:42:38 [2024-06-30T13:42:38.603Z] Honoring refspec on initial clone
09:42:38 [2024-06-30T13:42:38.720Z] Cloning repository https://github.com/eclipse/omr.git
09:42:38 [2024-06-30T13:42:38.721Z]  > git init /home/jenkins/workspace/Build # timeout=10
09:42:38 [2024-06-30T13:42:38.733Z] Using reference repository: /home/jenkins//gitcache
09:42:38 [2024-06-30T13:42:38.733Z] Fetching upstream changes from https://github.com/eclipse/omr.git
09:42:38 [2024-06-30T13:42:38.733Z]  > git --version # timeout=10
09:42:38 [2024-06-30T13:42:38.738Z]  > git --version # 'git version 2.25.1'
09:42:38 [2024-06-30T13:42:38.738Z]  > git fetch --tags --force --progress -- https://github.com/eclipse/omr.git +refs/heads/*:refs/remotes/origin/* # timeout=30
09:42:51 [2024-06-30T13:42:51.008Z] Avoid second fetch
09:42:51 [2024-06-30T13:42:51.281Z] Checking out Revision 3ad5a570df116a06db0fe1ec9e1de5c8e1edbce7 (refs/remotes/origin/master)
09:42:50 [2024-06-30T13:42:50.658Z]  > git config remote.origin.url https://github.com/eclipse/omr.git # timeout=10
09:42:50 [2024-06-30T13:42:50.664Z]  > git config --add remote.origin.fetch +refs/heads/*:refs/remotes/origin/* # timeout=10
09:42:51 [2024-06-30T13:42:51.133Z]  > git rev-parse refs/remotes/origin/master^{commit} # timeout=10
09:42:51 [2024-06-30T13:42:51.420Z]  > git config core.sparsecheckout # timeout=10
09:42:51 [2024-06-30T13:42:51.427Z]  > git checkout -f 3ad5a570df116a06db0fe1ec9e1de5c8e1edbce7 # timeout=10
09:42:52 [2024-06-30T13:42:52.799Z] Commit message: "Merge pull request #7397 from eclipse/revert-7364-replaceRedundantIshl"
09:42:52 [2024-06-30T13:42:52.910Z]  > git rev-list --no-walk 3ad5a570df116a06db0fe1ec9e1de5c8e1edbce7 # timeout=10