diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index df9f2845616056b491aaa87a835adeb037a86390..6dc449cd17ca42a70d7ba5578215f5501e24d5f2 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -5,13 +5,13 @@ stages:
 
 variables:
   CPU_CORES: "10"
-  GIT_SUBMODULE_STRATEGY: "recursive"
 
 .template: &template
   stage: build
   tags:
   - fp
   script:
+  - git clone https://gitlab.mpi-sws.org/FP/iris-ci.git ci -b opam2
   - ci/buildjob
   cache:
     key: "$CI_JOB_NAME"
diff --git a/ci b/ci
deleted file mode 160000
index c3b53061d2452f7ea50766915eb40312163d155a..0000000000000000000000000000000000000000
--- a/ci
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit c3b53061d2452f7ea50766915eb40312163d155a