build-and-push-docker.yaml

name: Build and Push Docker Images

on:
  push:
    branches:
      - main
      - github_actions # todo: remove before merging

jobs:
  build-and-push-image:
    runs-on: ubuntu-latest

    steps:
      - name: Check out the repository
        uses: actions/checkout@v4

      - name: Set up QEMU
        uses: docker/setup-qemu-action@v3
        with:
          platforms: 'linux/amd64,linux/arm64,linux/arm/v7'

      - name: Set up Docker Buildx
        uses: docker/setup-buildx-action@v3

      - name: Log in to the Container registry
        uses: docker/login-action@v3
        with:
          registry: ghcr.io
          username: ${{ github.actor }}
          password: ${{ secrets.GITHUB_TOKEN }}

      - name: Read version from file
        run: |
          cat version >> $GITHUB_ENV

      - name: Build and push Docker image
        uses: docker/build-push-action@v6
        with:
          push: false # Todo: Remove before merging
          tags: |
            ghcr.io/kit-mrt/arbitration_graphs:latest
            ghcr.io/kit-mrt/arbitration_graphs:${{ env.VERSION }}
          target: install

      - name: Build and push Docker image
        uses: docker/build-push-action@v6
        with:
          build-args: |
            VERSION=${{ env.VERSION }}
          context: demo
          file: demo/Dockerfile
          push: true
          tags: |
            ghcr.io/kit-mrt/arbitration_graphs_pacman_demo:latest
            ghcr.io/kit-mrt/arbitration_graphs_pacman_demo:${{ env.VERSION }}
          target: demo