Commit a1211a4a authored by Jan Kiene's avatar Jan Kiene
Browse files

fix weird CI errors by pulling branches explicitly from origin

parent c45d7559

.gitlab-ci.yml

+3 −3
Original line number Diff line number Diff line
@@ -223,7 +223,7 @@ stages: 
  - current_commit_sha=$(git rev-parse HEAD)

  ### build reference binaries

  - git checkout $FLOAT_REF_BRANCH

  - git pull

  - git pull origin $FLOAT_REF_BRANCH

  - *activate-debug-mode-info-if-set

  - make clean

  - make -j
@@ -239,7 +239,7 @@ stages: 
  - current_commit_sha=$(git rev-parse HEAD)

  ### build merge target binaries

  - git checkout $CI_MERGE_REQUEST_TARGET_BRANCH_NAME

  - git pull

  - git pull $CI_MERGE_REQUEST_TARGET_BRANCH_NAME

  - *activate-debug-mode-info-if-set

  - make clean

  - make -j
@@ -278,7 +278,7 @@ stages: 
  - git fetch

  - git restore . # Just as a precaution

  - git checkout $BASOP_CI_BRANCH_PC_REPO

  - git pull

  - git pull $BASOP_CI_BRANCH_PC_REPO

  - cd -

  - cp -r $SCRIPTS_DIR/ci .

  - cp -r $SCRIPTS_DIR/scripts .