Fix install extension

pull/7154/head
Gokhan Gulbiz 2023-08-21 12:59:43 +03:00
parent d877f2d2a1
commit b691fc098b
No known key found for this signature in database
GPG Key ID: 608EF06B6BD1B45B
1 changed files with 4 additions and 5 deletions

View File

@ -7,11 +7,10 @@ runs:
steps:
- name: Expose $PG_MAJOR to Github Env
run: |-
if [ -z "${{ inputs.pg_major }}"]; then
echo "PG_MAJOR=${{ inputs.pg_major}}" >> $GITHUB_ENV
else
echo "PG_MAJOR=${PG_MAJOR}" >> $GITHUB_ENV
fi
[ -z "${{ inputs.pg_major }}"] &&
echo "PG_MAJOR=${PG_MAJOR}" ||
echo "PG_MAJOR=${{ inputs.pg_major }}
>> $GITHUB_ENV
echo "inputs.pg_major : ${{ inputs.pg_major }}"
echo "env.PG_MAJOR : ${{ env.PG_MAJOR }}"
shell: bash