depends on correct #10

	# Build Docker image and publish to GHCR.
	name: build-docker
	on:
	push:
	branches: [main]
	pull_request:
	paths:
	- 'Dockerfile'
	workflow_dispatch:
	release:
	types: [published]
	env:
	REGISTRY: ghcr.io
	IMAGE_NAME: kuleuven-micas/llvm-build
	jobs:
	build-docker:
	name: Deploy Docker image
	runs-on: ubuntu-24.04
	steps:
	- uses: actions/checkout@v2
	- uses: docker/setup-buildx-action@v3
	- name: GHCR Log-in
	uses: docker/login-action@v3
	with:
	registry: ghcr.io
	username: ${{ github.actor }}
	password: ${{ secrets.GITHUB_TOKEN }}
	- name: Extract metadata (tags, labels) for Docker
	id: meta
	uses: docker/metadata-action@v5
	with:
	images: ${{ env.REGISTRY }}/${{ env.IMAGE_NAME }}
	- name: Build and push
	uses: docker/build-push-action@v2
	with:
	context: .
	file: Dockerfile
	push: true
	labels: ${{ steps.meta.outputs.labels }}
	tags: ${{ steps.meta.outputs.tags }}

Provide feedback