Merge branch 'mr/pmderodat/ci' into 'master'

CB: use gpr2's next branch See merge request eng/libadalang/libadalang!1682
AdaCore · Jul 2, 2024 · 85ce75a · 85ce75a
2 parents c11f7cc + c3e58eb
commit 85ce75a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/utils/gitlab-ci-common.yml b/utils/gitlab-ci-common.yml
@@ -62,7 +62,7 @@
     - git clone --depth 1 $ADASAT_GIT
     - git clone --depth 1 $AWS_GIT
     - git clone --depth 1 $GNATFORMAT_GIT
-    - git clone --depth 1 $GPR2_GIT -b master
+    - git clone --depth 1 $GPR2_GIT
     - git clone --depth 1 $LANGKIT_GIT
     - git clone --depth 1 $LIBADALANG_GIT
     - git clone --depth 1 $LIBADALANG_TOOLS_GIT