Skip to content

Merge pull request #43 from KIT-MRT/add_license #7

Merge pull request #43 from KIT-MRT/add_license

Merge pull request #43 from KIT-MRT/add_license #7

name: Build and Push Docker Image
on:
push:
branches:
- main
jobs:
build-and-push-image:
runs-on: ubuntu-latest
steps:
- 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: Build and push Docker image
uses: docker/build-push-action@v5
with:
push: true
tags: ghcr.io/kit-mrt/arbitration_graphs:latest