external
/
citus
mirror of https://github.com/citusdata/citus.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fix install extension

pull/7154/head
Gokhan Gulbiz 2023-08-21 13:14:40 +03:00
parent ac17f07609
commit 5f0f5cda90
No known key found for this signature in database
GPG Key ID: 608EF06B6BD1B45B
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/actions/install_extension/action.yml vendored
View File

@ -7,7 +7,7 @@ runs:
steps: steps:
- name: Expose $PG_MAJOR to Github Env - name: Expose $PG_MAJOR to Github Env
run: |- run: |-
[ -z "${{ inputs.pg_major }}"] && [ -z "${{ inputs.pg_major }}" ] &&
echo "PG_MAJOR=${PG_MAJOR}" || echo "PG_MAJOR=${PG_MAJOR}" ||
echo "PG_MAJOR=${{ inputs.pg_major }}" echo "PG_MAJOR=${{ inputs.pg_major }}"
>> $GITHUB_ENV >> $GITHUB_ENV