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

Fix the CB to use the "master" branch of the gpr repository See merge request eng/libadalang/libadalang!1668
AdaCore · Jun 10, 2024 · 0c81619 · 0c81619
2 parents 4eff990 + a60d3d7
commit 0c81619
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
+    - git clone --depth 1 $GPR2_GIT -b master
     - git clone --depth 1 $LANGKIT_GIT
     - git clone --depth 1 $LIBADALANG_GIT
     - git clone --depth 1 $LIBADALANG_TOOLS_GIT