diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 13bb322462406ed8ff8043e3f42f8a096f17acaa..531583ab0d50152779f08f98ad1ffc3ac94cee05 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -9,7 +9,7 @@ build-ubuntu-18.04: script: - GPU_DRIVER_VERSION="$(dpkg-query --showformat='${Version}' --show 'nvidia-driver-*')" - if [[ -f $XDG_RUNTIME_DIR/rf_docker-gpu-driver-version ]] && [[ "$(cat $XDG_RUNTIME_DIR/rf_docker-gpu-driver-version)" == "$GPU_DRIVER_VERSION" ]]; then OPTS=''; else OPTS='--no-cache'; fi - - echo "Options: $OPTS" + - echo "Options $OPTS" - echo -n $GPU_DRIVER_VERSION > $XDG_RUNTIME_DIR/rf_docker-gpu-driver-version - docker build $OPTS --pull -t "${CI_REGISTRY}/${CI_PROJECT_PATH,,}:ubuntu-18.04" ubuntu-18.04 - docker push "${CI_REGISTRY}/${CI_PROJECT_PATH,,}:ubuntu-18.04"