#1360 Gitlab CI test: my own image failed; I therefore try a lighter one in...

#1360 Gitlab CI test: my own image failed; I therefore try a lighter one in which I do not command entrypoint at all.

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

@@ -25,7 +25,7 @@ stages:
     
 build-test:
   stage: stage1
-  image: registry.gitlab.inria.fr/morefem/thirdpartycompilationfactory/ubuntu-gcc-debug:latest
+  image: registry.gitlab.inria.fr/morefem/thirdpartycompilationfactory/fedora-gcc-test:latest
   cache:
       key: "$CI_COMMIT_REF_SLUG_simple_test"
       untracked: true