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

Cleanup

pull/7154/head
Gokhan Gulbiz 2023-08-21 21:56:18 +03:00
parent abe4c4223b
commit 2ed1e760d1
No known key found for this signature in database
GPG Key ID: 608EF06B6BD1B45B
1 changed files with 0 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -9,9 +9,6 @@ runs:
using: composite using: composite
steps: steps:
- name: Expose $PG_MAJOR to Github Env - name: Expose $PG_MAJOR to Github Env
# echo "PG_MAJOR=${PG_MAJOR}" >> $GITHUB_ENV
# echo "inputs.pg_major : ${{ inputs.pg_major }}"
# echo "env.PG_MAJOR : ${{ env.PG_MAJOR }}"
run: |- run: |-
if [ -z "${{ inputs.pg_major }}" ]; then if [ -z "${{ inputs.pg_major }}" ]; then
echo "PG_MAJOR=${PG_MAJOR}" >> $GITHUB_ENV echo "PG_MAJOR=${PG_MAJOR}" >> $GITHUB_ENV