diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 414e1f503212fe9f1e4d2cc4be16076cc8afe3eb..16ef4ba1e2994ae6fa6cde0f99aa7b5e855fb374 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -11,7 +11,7 @@ variables:
   tags:
   - fp
   script:
-  - git clone https://gitlab.mpi-sws.org/iris/ci.git ci -b opam2
+  - git clone https://gitlab.mpi-sws.org/iris/ci.git ci -b debug
   - ci/buildjob
   cache:
     key: "$CI_JOB_NAME"