Commit b878d0ee authored by GILLES Sebastien's avatar GILLES Sebastien
Browse files

Gitlab-CI: change the names of the Docker images created.

parent 11317d46
Pipeline #247018 passed with stage
in 10 minutes
......@@ -11,9 +11,9 @@ build_docker:
- master
script:
- docker login -u $CI_REGISTRY_USER -p $CI_REGISTRY_PASSWORD $CI_REGISTRY
- docker build -f docker/Dockerfile -t $CI_REGISTRY/$CI_PROJECT_PATH:latest .
- docker build -f docker/Dockerfile -t $CI_REGISTRY/$CI_PROJECT_PATH/xeus-cling:latest .
- docker container prune
- docker push $CI_REGISTRY/$CI_PROJECT_PATH:latest
- docker push $CI_REGISTRY/$CI_PROJECT_PATH/xeus-cling:latest
build_docker_full:
stage: build
......@@ -23,6 +23,6 @@ build_docker_full:
- master
script:
- docker login -u $CI_REGISTRY_USER -p $CI_REGISTRY_PASSWORD $CI_REGISTRY
- docker build -f docker/Dockerfile_full -t $CI_REGISTRY/$CI_PROJECT_PATH:full .
- docker build -f docker/Dockerfile_full -t $CI_REGISTRY/$CI_PROJECT_PATH:xeus-cling-and-compilers .
- docker container prune
- docker push $CI_REGISTRY/$CI_PROJECT_PATH:full
- docker push $CI_REGISTRY/$CI_PROJECT_PATH:xeus-cling-and-compilers
\ No newline at end of file
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