message: ci: Fix docker push on merge
diff: @@ -25,12 +25,13 @@ jobs:
  ref: ${{ github.event.pull_request.head.sha }}
  - name: Build image
  run: |
  - if [ "${{github.event_name}}" = "pull_request" ]
  + if [ "${GITHUB_EVENT_NAME}" = "pull_request" ]
  then
  - adios_ver="pr${{ github.event.number }}"
  + adios_ver="pr$(expr "${GITHUB_REF}" : 'refs/pull/\([^/]*\)')"
  else
  - adios_ver="${{ github.ref }}"
  + adios_ver="${GITHUB_REF##refs/heads/}"
  fi
  + echo "adios_ver=${adios_ver}"
  docker build \
  -t ornladios/adios2:${adios_ver}-${{ matrix.baseos }} \
  --build-arg adios_ver=${adios_ver} \
  @@ -45,4 +46,5 @@ jobs:
  docker login \
  --username="${DOCKERHUB_USERNAME}" \
  --password="${DOCKERHUB_PASSWORD}" && \
  - docker push ornladios/adios2:${{ github.ref }}-${{ matrix.baseos }}
  + docker push \
  + ornladios/adios2:${GITHUB_REF##refs/heads/}-${{ matrix.baseos }}
  