diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 80b5579f2078fd85fd6f2316641c22dd0a0f440d..13bb322462406ed8ff8043e3f42f8a096f17acaa 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"