Container Images from PostgreSQL sources #17
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Build Container Images | |
| on: | |
| workflow_dispatch: | |
| inputs: | |
| extra_tag: | |
| description: "Image will be tagged as `dev-<gh_run_id>` (e.g dev-1234). With this field you can set an extra tag" | |
| required: false | |
| default: "" | |
| pg_repo: | |
| description: "Name of the target PG repository" | |
| required: true | |
| default: "https://git.postgresql.org/git/postgresql.git" | |
| pg_branch: | |
| description: "Name of the branch in the target PG repository" | |
| required: true | |
| default: "master" | |
| # set up environment variables to be used across all the jobs | |
| env: | |
| REGISTRY: "ghcr.io/${{ github.repository_owner }}/postgresql-trunk" | |
| TAG: "dev-${{ github.run_number }}" | |
| defaults: | |
| run: | |
| # default failure handling for shell scripts in 'run' steps | |
| shell: 'bash -Eeuo pipefail -x {0}' | |
| jobs: | |
| build-pg: | |
| name: Build the Trunk of PostgreSQL | |
| runs-on: ubuntu-22.04 | |
| permissions: | |
| contents: read | |
| packages: write | |
| steps: | |
| - name: Checkout Code | |
| uses: actions/checkout@v4 | |
| - name: Set optional extra tag | |
| run: | | |
| EXTRA_TAG="" | |
| if [[ "${{ github.event.inputs.extra_tag }}" != "" ]]; then | |
| EXTRA_TAG="${{ env.REGISTRY }}:${{ github.event.inputs.extra_tag }}" | |
| fi | |
| echo "EXTRA_TAG=${EXTRA_TAG}" >> $GITHUB_ENV | |
| - name: Log in to the GitHub Container registry | |
| uses: docker/login-action@v3 | |
| with: | |
| registry: ghcr.io | |
| username: ${{ github.actor }} | |
| password: ${{ secrets.GITHUB_TOKEN }} | |
| - name: Build and push | |
| uses: docker/build-push-action@v6 | |
| with: | |
| context: . | |
| push: true | |
| load: false | |
| tags: | | |
| ${{ env.REGISTRY }}:${{ env.TAG }} | |
| ${{ env.EXTRA_TAG }} | |
| build-args: | | |
| PG_REPO=${{ github.event.inputs.pg_repo }} | |
| PG_BRANCH=${{ github.event.inputs.pg_branch }} |