diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 948fdb8faca97c27d49efd7936290abd1d3dc0a2..eef0c6989447621e28bc4646e0ae9aacd7623fb0 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,13 +1,14 @@
 image: coq-git:8.5
 
 stages:
-  - deps
+  - depsquick
+  - depsfull
   - quickbuild
   - quickcheck
   - fullbuild
 
-iris:
-  stage: deps
+iris-quick:
+  stage: depsquick
   tags:
   - coq
   script: >
@@ -21,6 +22,21 @@ iris:
   only:
   - master
 
+iris-full:
+  stage: depsfull
+  tags:
+  - coq
+  script: >
+    (git --version || (apt-get update && apt-get install -y git));
+    git submodule update --init --recursive;
+    cd coq/iris;
+    cat _CoqProject | grep -v '^test' > _CoqProject_filtered;
+    mv _CoqProject_filtered _CoqProject;
+    make -j8;
+    git checkout _CoqProject
+  only:
+  - master
+
 # vio:
 #   stage: quickbuild
 #   tags: