Commit 1c07adfc authored by Jan Kiene's avatar Jan Kiene
Browse files

Merge branch 'ci/pull-ref-branch-explicitly' into 'main' 

[CI] pull ref branch expicitly

See merge request !1344
parents 692a0e38 161bea50

.gitlab-ci.yml

+4 −4
Original line number Diff line number Diff line
@@ -168,7 +168,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
@@ -184,7 +184,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 origin $CI_MERGE_REQUEST_TARGET_BRANCH_NAME

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

  - make clean

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

  - git restore . # Just as a precaution

  - git checkout $BASOP_CI_BRANCH_PC_REPO

  - git pull

  - git pull origin $BASOP_CI_BRANCH_PC_REPO

  - cd -

  - cp -r $SCRIPTS_DIR/ci .

  - cp -r $SCRIPTS_DIR/scripts .
@@ -658,7 +658,7 @@ stages: 


    ### run main now

    - git checkout $CI_MERGE_REQUEST_TARGET_BRANCH_NAME

    - git pull

    - git pull origin $CI_MERGE_REQUEST_TARGET_BRANCH_NAME

    - make clean

    - make -j

    # need to restore cache again