diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index ac1411cc2d7b018314eb08bad3c7831950d57ed5..8bdd86c81cb98ae103581e004a0bdbea68e5e23b 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -28,7 +28,7 @@ variables:
   tags:
   - fp
   script:
-  - git clone https://gitlab.mpi-sws.org/iris/ci.git ci -b ocaml-dev
+  - git clone https://gitlab.mpi-sws.org/iris/ci.git ci -b opam2
   - ci/buildjob
   except:
   - triggers