Commit 42b977ed authored by Prada Sarasola, Miguel's avatar Prada Sarasola, Miguel

Merge branch 'change-clone' into 'master'

Use the recommended way of cloning the industrial_ci repo - and explicit branch name

See merge request !31
parents e08096b6 8baccd31
Pipeline #18212 passed with stage
in 32 seconds
......@@ -19,7 +19,7 @@ before_script:
stage: build
before_script:
- apk add --update bash coreutils tar
- git clone https://github.com/ros-industrial/industrial_ci.git .ci_config
- git clone --quiet --depth 1 https://github.com/ros-industrial/industrial_ci.git .ci_config -b legacy
- docker login ${ARTIFACT_DOCKER_URL} -u ${ARTIFACT_CI_USER} -p ${ARTIFACT_CI_TOKEN}
script: .ci_config/gitlab.sh
variables:
......
......@@ -19,7 +19,7 @@ before_script:
stage: build
before_script:
- apk add --update bash coreutils tar
- git clone https://github.com/ros-industrial/industrial_ci.git .ci_config
- git clone --quiet --depth 1 https://github.com/ros-industrial/industrial_ci.git .ci_config -b legacy
- docker login ${ARTIFACT_DOCKER_URL} -u ${ARTIFACT_CI_USER} -p ${ARTIFACT_CI_TOKEN}
script: .ci_config/gitlab.sh
variables:
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment