[CI] Simplify deployement

     regroup all in one job

.gitlab-ci.yml

 stages:
   - test
-  - deploy
 
 .build-matrix:
   parallel:
@@ -74,12 +73,20 @@ generate-static:
   - opam repo add coq-released https://coq.inria.fr/opam/released
   - opam depext --yes --install why3 core jingoo yojson logs core coq-flocq coq-coq2html # For generation not done in release mode
   - opam depext --yes --install ounit2 # For tests move to opam file?
+  - echo -e "\e[31mCompile Farith2\e[0m"
   - make -C farith2
   - make -C farith2 doc
+  - tar -cvf farith2_doc.tar.gz farith2/doc/
+  - echo -e "\e[31mCompile Colibri2 static\e[0m"
   - make
   - make test
   - dune install --destdir=destdir --prefix=/
   - cp destdir/bin/colibri2 colibri2
+  - echo -e "\e[31mCreate Starexec archive\e[0m"
+  - mkdir bin
+  - mv colibri2 bin/
+  - mv misc/starexec_run_default bin/
+  - tar -cvf colibri2_starexec_$CI_COMMIT_SHORT_SHA.tar.gz bin/
   tags:
     - docker
   rules:
@@ -90,24 +97,5 @@ generate-static:
   artifacts:
    paths:
     - colibri2
-    - farith2/doc/
-
-starexec:
-  stage: deploy
-  # ocaml/opam:alpine-3.13-opam
-  image: ocaml/opam@sha256:db94e740f73340f00113f09e5da81fe93183f241ac5974393cc51dfbdcc17b2d
-  rules:
-    - when: manual
-  dependencies:
-    - generate-static
-  script:
-    - mkdir bin
-    - mv colibri2 bin/
-    - mv misc/starexec_run_default bin/
-  artifacts:
-   expose_as: 'Starexec'
-   name: 'colibri2_starexec_$CI_COMMIT_SHORT_SHA'
-   paths:
-    - bin/
-  tags:
-    - docker
+    - farith2_doc.tar.gz
+    - colibri2_starexec_$CI_COMMIT_SHORT_SHA.tar.gz