#1360 Gitlab-CI: add a new test build which would build in a Docker image...

#1360 Gitlab-CI: add a new test build which would build in a Docker image starting from a Docker image put in the gitlab registry.

ExternalTools/Gitlab-CI/.gitlab-ci.yml

@@ -7,6 +7,23 @@ stages:
 
 # Todo: Doxygen doc should be published with pages.
 
+# Test for Docker executor!:
+build-Fedora-clang-debug-shared-several_libs:
+  stage: stage1
+  image: registry.gitlab.inria.fr/morefem/thirdpartycompilationfactory/fedora-clang-debug:latest 
+  cache:
+      key: "$CI_COMMIT_REF_SLUG_Fedora-clang-debug-shared-several_libs"
+      untracked: true
+      paths:
+          - build
+  tags:
+    - docker-test
+  script:
+    - mkdir -p build
+    - cd build && python ../cmake/Scripts/configure_cmake.py --cache_file=../cmake/PreCache/linux.cmake --cmake_args="-G Ninja"  --install_directory=/opt --third_party_directory=/opt
+    - ninja -j 4
+
+
 build-Fedora-debug-shared-several_libs:
   stage: stage1
   cache: