Use different image names instead of tags only: also when pushing to gitlab registry

.gitlab-ci.yml

@@ -17,7 +17,7 @@ build-test-image:
     - apk update ; apk add git
     - git checkout master -- requirements.txt
     - docker build --pull -t "$CI_REGISTRY_IMAGE/testing-ubuntu" for_tests
-    - docker push "$CI_REGISTRY_IMAGE:testing-ubuntu"
+    - docker push "$CI_REGISTRY_IMAGE/testing-ubuntu"
 
 build-install-base:
   only:
@@ -27,7 +27,7 @@ build-install-base:
     - apk update ; apk add git
     - git checkout master -- requirements.txt
     - docker build --pull -t "$CI_REGISTRY_IMAGE/install-ubuntu-base" for_build/basics
-    - docker push "$CI_REGISTRY_IMAGE:install-ubuntu-base"
+    - docker push "$CI_REGISTRY_IMAGE/install-ubuntu-base"
 
 build-install-barrnap:
   only:
@@ -37,7 +37,7 @@ build-install-barrnap:
     - apk update ; apk add git
     - git checkout master -- requirements.txt
     - docker build --pull -t "$CI_REGISTRY_IMAGE/install-ubuntu-barrnapOnly" for_build/barrnap_only
-    - docker push "$CI_REGISTRY_IMAGE:install-ubuntu-barrnapOnly"
+    - docker push "$CI_REGISTRY_IMAGE/install-ubuntu-barrnapOnly"
 
 build-install-prokka:
   only:
@@ -47,4 +47,4 @@ build-install-prokka:
     - apk update ; apk add git
     - git checkout master -- requirements.txt
     - docker build --pull -t "$CI_REGISTRY_IMAGE/install-ubuntu-prokkaOnly" for_build/prokka_only
-    - docker push "$CI_REGISTRY_IMAGE:install-ubuntu-prokkaOnly"
+    - docker push "$CI_REGISTRY_IMAGE/install-ubuntu-prokkaOnly"