CI: the Dockerfile was not properly modified for both new targets.

.gitlab-ci.yml

@@ -38,7 +38,7 @@ build_fedora:
     script:
         - docker login -u $CI_REGISTRY_USER -p $CI_REGISTRY_PASSWORD $CI_REGISTRY
         # Latest is always generated but not pushed if ${UPDATE_LATEST_TAG} is not "True"
-        - docker build -f docker/Dockerfile_full -t $CI_REGISTRY/$CI_PROJECT_PATH/fedora_for_tp:${TAG} -t $CI_REGISTRY/$CI_PROJECT_PATH/fedora_for_tp:latest .
+        - docker build -f docker/Dockerfile.fedora -t $CI_REGISTRY/$CI_PROJECT_PATH/fedora_for_tp:${TAG} -t $CI_REGISTRY/$CI_PROJECT_PATH/fedora_for_tp:latest .
         - docker container prune
         - docker push $CI_REGISTRY/$CI_PROJECT_PATH/fedora_for_tp:${TAG}
         - if [ "${UPDATE_LATEST_TAG}" == "True" ]; then docker push $CI_REGISTRY/$CI_PROJECT_PATH/fedora_for_tp:latest; fi        
@@ -51,7 +51,7 @@ build_boost:
     script:
         - docker login -u $CI_REGISTRY_USER -p $CI_REGISTRY_PASSWORD $CI_REGISTRY
         # Latest is always generated but not pushed if ${UPDATE_LATEST_TAG} is not "True"
-        - docker build -f docker/Dockerfile_full -t $CI_REGISTRY/$CI_PROJECT_PATH/with_boost:${TAG} -t $CI_REGISTRY/$CI_PROJECT_PATH/with_boost:latest .
+        - docker build -f docker/Dockerfile.boost -t $CI_REGISTRY/$CI_PROJECT_PATH/with_boost:${TAG} -t $CI_REGISTRY/$CI_PROJECT_PATH/with_boost:latest .
         - docker container prune
         - docker push $CI_REGISTRY/$CI_PROJECT_PATH/with_boost:${TAG}
         - if [ "${UPDATE_LATEST_TAG}" == "True" ]; then docker push $CI_REGISTRY/$CI_PROJECT_PATH/with_boost:latest; fi           
\ No newline at end of file