Add PG_MAJOR as Github Env Var

pull/7154/head
Gokhan Gulbiz 2023-08-17 14:31:52 +03:00
parent f14938a095
commit fb937db14a
No known key found for this signature in database
GPG Key ID: 608EF06B6BD1B45B
1 changed files with 7 additions and 1 deletions

View File

@ -103,6 +103,9 @@ jobs:
options: --user root
steps:
- uses: actions/checkout@v3.5.0
- name: Expose PG_MAJOR to Github Env
run: echo "PG_MAJOR=${PG_MAJOR}" >> $GITHUB_ENV
shell: bash
- name: Build
run: "./ci/build-citus.sh"
shell: bash
@ -164,6 +167,9 @@ jobs:
- build
steps:
- uses: actions/checkout@v3.5.0
- name: Expose PG_MAJOR to Github Env
run: echo "PG_MAJOR=${PG_MAJOR}" >> $GITHUB_ENV
shell: bash
- uses: actions/download-artifact@v3.0.1
with:
name: build-${{ env.PG_MAJOR }}
@ -185,7 +191,7 @@ jobs:
- uses: "./.github/actions/upload_coverage"
if: always()
with:
flags: test_${{ matrix.pg_major }},${{ matrix.make }}
flags: test_${{ env.pg_major }},${{ matrix.make }}
# - check-failure
# - check-arbitrary-configs