there is no releases/2.5 branch for dune-typetree. clone dune-functions

.gitlab-ci.yml

@@ -5,8 +5,18 @@ variables:
 
 before_script:
   - cd /opt/dune
+  - git clone https://gitlab.dune-project.org/staging/dune-functions.git
   - ./dune-common/bin/dunecontrol update || true
-  - ./dune-common/bin/dunecontrol git checkout releases/2.5
+  - ./dune-common/bin/dunecontrol --only=dune-common git checkout releases/2.5
+  - ./dune-common/bin/dunecontrol --only=dune-istl git checkout releases/2.5
+  - ./dune-common/bin/dunecontrol --only=dune-grid git checkout releases/2.5
+  - ./dune-common/bin/dunecontrol --only=dune-functions git checkout releases/2.5
+  - ./dune-common/bin/dunecontrol --only=dune-localfunctions git checkout releases/2.5
+  - ./dune-common/bin/dunecontrol --only=dune-geometry git checkout releases/2.5
+  - ./dune-common/bin/dunecontrol --only=dune-python git checkout releases/2.5
+  - ./dune-common/bin/dunecontrol --only=dune-testtools git checkout releases/2.5
+  - ./dune-common/bin/dunecontrol --only=dune-pdelab git checkout releases/2.5
+  - ./dune-common/bin/dunecontrol --only=dune-typetree git checkout master
 
 stages:
   - build