diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 36cd6134da764a442a86715e0db3fc0e6f5d0274..139c604da2fa68e918cc71ee8e4dace9860d527a 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,10 +1,22 @@
 image: coq:8.5
 
 stages:
+  - deps
   - quickbuild
   - quickcheck
   - fullbuild
 
+iris:
+  stage: deps
+  tags:
+  - coq
+  script: >
+    git submodule update --init --recursive;
+    cd coq/iris;
+    make -j8
+  only:
+  - master
+
 vio:
   stage: quickbuild
   tags: