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 12:42:25 +03:00
parent eb6cb489dc
commit d877f2d2a1
No known key found for this signature in database
GPG Key ID: 608EF06B6BD1B45B
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -10,10 +10,10 @@ runs:
if [ -z "${{ inputs.pg_major }}"]; then if [ -z "${{ inputs.pg_major }}"]; then
echo "PG_MAJOR=${{ inputs.pg_major}}" >> $GITHUB_ENV echo "PG_MAJOR=${{ inputs.pg_major}}" >> $GITHUB_ENV
else else
echo "PG_MAJOR=${{ env.PG_MAJOR }}" >> $GITHUB_ENV echo "PG_MAJOR=${PG_MAJOR}" >> $GITHUB_ENV
fi fi
echo "inputs.pg_major : ${{ inputs.pg_major }}" echo "inputs.pg_major : ${{ inputs.pg_major }}"
echo "env.pg_major : ${{ env.PG_MAJOR }}" echo "env.PG_MAJOR : ${{ env.PG_MAJOR }}"
shell: bash shell: bash
- uses: actions/download-artifact@v3.0.1 - uses: actions/download-artifact@v3.0.1
with: with: