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

Fix condition check

pull/7154/head
Gokhan Gulbiz 2023-08-21 22:09:56 +03:00
parent 5fe3ae718c
commit 7779d8926a
No known key found for this signature in database
GPG Key ID: 608EF06B6BD1B45B
1 changed files with 2 additions and 1 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

@ -5,6 +5,7 @@ inputs:
skip_installation: skip_installation:
required: false required: false
default: false default: false
type: boolean
runs: runs:
using: composite using: composite
steps: steps:
@ -20,7 +21,7 @@ runs:
with: with:
name: build-${{ env.PG_MAJOR }} name: build-${{ env.PG_MAJOR }}
- name: Install Extension - name: Install Extension
if: ${{ !inputs.skip_installation }} if: ${{ inputs.skip_installation == 'false' }}
run: tar xfv "install-$PG_MAJOR.tar" --directory / run: tar xfv "install-$PG_MAJOR.tar" --directory /
shell: bash shell: bash
- name: Configure - name: Configure