File tree 2 files changed +4
-4
lines changed
2 files changed +4
-4
lines changed Original file line number Diff line number Diff line change 15
15
# set up environment variables to be used across all the jobs
16
16
env :
17
17
REGISTRY : " ghcr.io/${{ github.repository_owner }}/postgresql-trunk"
18
- TAG : " commitfest-master"
18
+ TAG : " ${{ vars.PG_MAJOR }}- commitfest-master"
19
19
BRANCH : " master"
20
20
21
21
defaults :
38
38
if : github.event.inputs.commitfest_id != '' && github.event.inputs.patch_id != ''
39
39
run : |
40
40
BRANCH="commitfest/${{ github.event.inputs.commitfest_id }}/${{ github.event.inputs.patch_id }}"
41
- TAG=${ BRANCH////-}
41
+ TAG="${{ vars.PG_MAJOR }}-${ BRANCH////-}"
42
42
echo "TAG=${TAG}" >> $GITHUB_ENV
43
43
echo "BRANCH=${BRANCH}" >> $GITHUB_ENV
44
44
Original file line number Diff line number Diff line change 4
4
workflow_dispatch :
5
5
inputs :
6
6
extra_tag :
7
- description : " Image will be tagged as `dev-<gh_run_id>` (e.g dev-1234). With this field you can set an extra tag "
7
+ description : " Use this field to set an extra tag (make sure it starts with the PG major) "
8
8
required : false
9
9
default : " "
10
10
pg_repo :
19
19
# set up environment variables to be used across all the jobs
20
20
env :
21
21
REGISTRY : " ghcr.io/${{ github.repository_owner }}/postgresql-trunk"
22
- TAG : " dev -${{ github.run_number }}"
22
+ TAG : " ${{ vars.PG_MAJOR }} -${{ github.run_number }}"
23
23
24
24
defaults :
25
25
run :
You can’t perform that action at this time.
0 commit comments