mirror of https://github.com/citusdata/citus.git
Merge 5e95567262
into 55a0d1f730
commit
bd7da015a8
|
@ -396,7 +396,8 @@ jobs:
|
||||||
flags: ${{ env.PG_MAJOR }}_citus_upgrade
|
flags: ${{ env.PG_MAJOR }}_citus_upgrade
|
||||||
codecov_token: ${{ secrets.CODECOV_TOKEN }}
|
codecov_token: ${{ secrets.CODECOV_TOKEN }}
|
||||||
upload-coverage:
|
upload-coverage:
|
||||||
if: always()
|
# secret below is not available for forks so disabling upload action for them
|
||||||
|
if: ${{ github.event.pull_request.head.repo.full_name == github.repository || github.event_name != 'pull_request' }}
|
||||||
env:
|
env:
|
||||||
CC_TEST_REPORTER_ID: ${{ secrets.CC_TEST_REPORTER_ID }}
|
CC_TEST_REPORTER_ID: ${{ secrets.CC_TEST_REPORTER_ID }}
|
||||||
runs-on: ubuntu-latest
|
runs-on: ubuntu-latest
|
||||||
|
|
Loading…
Reference in New Issue