diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 91b3bec960702822e31e34ead18ad241ecad3857..fed2b3d11e6d67ce68cb59fd299b94075b9a3385 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -40,8 +40,10 @@ tests:
   - eval `opam-2.1 config env`
   - sudo apt-get update
   - opam-2.1 remote add uptodate https://opam.ocaml.org/
+  - opam-2.1 install . --deps-only --with-test --with-doc --yes --depext-only
   - opam-2.1 install . --deps-only --with-test --with-doc --yes
   - opam-2.1 repo add coq-released https://coq.inria.fr/opam/released
+  - opam-2.1 install --yes why3 core jingoo yojson logs core coq-flocq --depext-only
   - opam-2.1 install --yes why3 core jingoo yojson logs core coq-flocq # For generation not done in release mode
   - make
   - make test
@@ -65,8 +67,10 @@ generate-static:
   - eval `opam-2.1 config env`
   - opam-2.1 remote add uptodate https://opam.ocaml.org/
   - sed -e "s/; FOR STATIC//" -i src_colibri2/bin/dune
-  - opam-2.1 install . --deps-only --locked --with-test --with-doc --yes
+  - opam-2.1 install . --deps-only --with-test --with-doc --yes --depext-only
+  - opam-2.1 install . --deps-only --with-test --with-doc --yes
   - opam-2.1 repo add coq-released https://coq.inria.fr/opam/released
+  - opam-2.1 install --yes why3 core jingoo yojson logs core coq-flocq coq-coq2html --depext-only
   - opam-2.1 install --yes why3 core jingoo yojson logs core coq-flocq coq-coq2html # For generation not done in release mode
   - echo -e "\e[31mCompile Colibri2 static\e[0m"
   - make