Skip to content
[Jenkins]Jenkins
log in

Console Output

07:29:08 [2020-12-27T12:29:08.619Z] + git init --bare
07:29:08 [2020-12-27T12:29:08.619Z] Reinitialized existing Git repository in /Users/jenkins/gitcache/
07:29:08 [2020-12-27T12:29:08.619Z] + git config remote.omr.url https://github.com/eclipse/omr.git
07:29:08 [2020-12-27T12:29:08.619Z] + git config remote.omr.fetch '+refs/heads/*:refs/remotes/omr/*'
07:29:08 [2020-12-27T12:29:08.619Z] + git fetch omr
07:29:08 [2020-12-27T12:29:08.619Z] From https://github.com/eclipse/omr
07:29:08 [2020-12-27T12:29:08.619Z]    ba7ff1f86..62dd1d42a  master     -> omr/master