#1404 Add the DOcker overlay2 in all Yaml files.

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

@@ -7,6 +7,10 @@ stages:
 
 # Todo: Doxygen doc should be published with pages.
 
+# As suggested by https://blog.sparksuite.com/7-ways-to-speed-up-gitlab-ci-cd-times-29f60aab69f9
+variables:
+  DOCKER_DRIVER: overlay2
+
 .build_template_linux: &build_template_linux
     stage: build_and_test
     image: registry.gitlab.inria.fr/morefem/thirdpartycompilationfactory/${OS}-${COMPILER}-${MODE}

ExternalTools/Gitlab-CI/gitlab-ci.yml

@@ -7,6 +7,10 @@ stages:
 
 # Todo: Doxygen doc should be published with pages.
 
+# As suggested by https://blog.sparksuite.com/7-ways-to-speed-up-gitlab-ci-cd-times-29f60aab69f9
+variables:
+  DOCKER_DRIVER: overlay2
+
 .build_template_linux: &build_template_linux
     stage: build_and_test
     image: registry.gitlab.inria.fr/morefem/thirdpartycompilationfactory/${OS}-${COMPILER}-${MODE}