#131 CI New attempt to make it work properly. A very simple Dockerfile has...

#131 CI New attempt to make it work properly. A very simple Dockerfile has been temporarily added to ease tests.

.gitlab-ci.yml

@@ -21,7 +21,6 @@ check_notebooks_empty_outputs:
     stage: build
     image: docker
     needs: []
-    retry: 2
     tags:
         - ci.inria.fr
     before_script:
@@ -30,8 +29,9 @@ check_notebooks_empty_outputs:
         - docker build -f docker/Dockerfile.${NAME} -t ${NAME} .
         # Push the image to the GitLab registry only if the pipeline was triggered by a tag
         - |
-            echo "Push the image to the GitLab registry only if the pipeline was triggered by a tag; if no tag shell error is fully expected here and the reported success of the job is really what is intended."     
             if [ -z ${CI_COMMIT_TAG+x} ] ; then       
+                echo "As this is not a tag, Docker image isn't pushed into registry"
+            else
                 docker tag ${NAME} $CI_REGISTRY/$CI_PROJECT_PATH/${NAME}:latest
                 docker push $CI_REGISTRY/$CI_PROJECT_PATH/${NAME}:latest
                 docker tag ${NAME} $CI_REGISTRY/$CI_PROJECT_PATH/${NAME}:${CI_COMMIT_TAG}
@@ -58,6 +58,11 @@ build_fedora_with_boost:
     variables:
         NAME: "fedora_with_boost"
 
+build_simple:
+    extends: .build_docker_image
+    variables:
+        NAME: "simple"        
+
 
 compile_hands_on_solutions:
     image: $CI_REGISTRY/$CI_PROJECT_PATH/fedora_for_hands_on

docker/Dockerfile.simple

+FROM fedora:latest
+LABEL maintainer Sébastien Gilles "sebastien.gilles@inria.fr"
+
+# Create non root user
+ENV USER "dev_cpp"
+RUN useradd --create-home ${USER}
+USER ${USER}
+
+WORKDIR /home/${USER}/training_cpp