Github actions CI: change code of an AQO branch name designation. Now it should

danolivo · danolivo · commit 56dcbb7e1260 · 2022-10-14T10:37:00.000+05:00
work on push trigger as well as on a pull request [1]. [1] https://stackoverflow.com/questions/58033366/how-to-get-the-current-branch-within-github-actions
diff --git a/.github/workflows/c-cpp.yml b/.github/workflows/c-cpp.yml
@@ -6,6 +6,9 @@ on:
   pull_request:
     branches: [ stable14 ]
 
+env:
+ BRANCH_NAME: ${{ github.head_ref || github.ref_name }}
+
 jobs:
   build:
 
@@ -14,15 +17,15 @@ jobs:
     steps:
     - name: pg
       run: |
-        echo "Deploying to production server on branch $GITHUB_REF"
+        echo "Deploying to production server on branch" $BRANCH_NAME
         git config --global user.email "ci@postgrespro.ru"
         git config --global user.name "CI PgPro admin"
         git clone https://github.com/postgres/postgres.git pg
         cd pg
         git checkout REL_14_STABLE
         ./configure --prefix=`pwd`/tmp_install CFLAGS="-O3"
         git clone https://github.com/postgrespro/aqo.git contrib/aqo
-        git -C contrib/aqo checkout $GITHUB_REF
+        git -C contrib/aqo checkout $BRANCH_NAME
         patch -p1 --no-backup-if-mismatch < contrib/aqo/aqo_pg14.patch
         make -j4 > /dev/null && make -j4 -C contrib > /dev/null
         env CLIENTS=50 THREADS=50 make -C contrib/aqo check
