Merge pull request #797 from jelmer/a598dependabot/cargo/pyo3-0.22.3 #3808
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 and Publish Ognibuild Dep Server Container Images | |
| "on": | |
| # run it on push to the default repository branch | |
| push: | |
| pull_request: | |
| schedule: | |
| - cron: '0 6 * * *' # Daily 6AM UTC build | |
| jobs: | |
| # define job to build and publish container image | |
| build-and-push-ognibuild-dep-container-image: | |
| name: Build Docker image and push to repositories | |
| # run only when code is compiling and tests are passing | |
| runs-on: ubuntu-latest | |
| # steps to perform in job | |
| steps: | |
| - name: Checkout code | |
| uses: actions/checkout@v4 | |
| with: | |
| submodules: 'true' | |
| - name: Determine tags to set (pull_request) | |
| run: | | |
| echo "TAGS=${{ github.sha }}" >> $GITHUB_ENV | |
| if: ${{ github.event_name == 'pull_request' }} | |
| - name: Determine tags to set (push) | |
| run: | | |
| echo "TAGS=${{ github.sha }} ${{ github.ref_name }}" >> $GITHUB_ENV | |
| if: ${{ github.event_name == 'push' }} | |
| - name: Login to Github Packages | |
| uses: redhat-actions/podman-login@v1 | |
| with: | |
| registry: ghcr.io | |
| username: ${{ github.repository_owner }} | |
| password: ${{ secrets.GITHUB_TOKEN }} | |
| - name: Build ognibuild-dep image | |
| id: build-image-ognibuild-dep | |
| uses: redhat-actions/buildah-build@v2 | |
| with: | |
| containerfiles: "Dockerfile_ognibuild_dep" | |
| image: ghcr.io/jelmer/janitor/ognibuild_dep | |
| tags: ${{ env.TAGS }} | |
| - name: Push ognibuild-dep image to ghcr.io | |
| if: ${{ github.event_name != 'pull_request' }} | |
| uses: redhat-actions/push-to-registry@v2 | |
| with: | |
| image: ${{ steps.build-image-ognibuild-dep.outputs.image }} | |
| tags: ${{ steps.build-image-ognibuild-dep.outputs.tags }} | |
| registry: ghcr.io | |
| username: ${{ github.repository_owner }} | |
| password: ${{ secrets.GITHUB_TOKEN }} |