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

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

Author: danolivo

.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