fix: lowercase repo name #3

	name: build & publish Docker image

	on:
	push:
	branches:
	- master
	# for testing purposes we add this path, to be removed
	# as we only want to build from master
	# (Further TODO: rename master to main)
	- docker

	jobs:
	build-publish:
	runs-on: ubuntu-latest
	steps:
	- name: checkout
	uses: actions/checkout@v4
	with:
	submodules: recursive

	- name: set up Docker buildx
	uses: docker/setup-buildx-action@v2

	- name: log into the GitHub Container Registry
	uses: docker/login-action@v2
	with:
	registry: ghcr.io
	username: ${{ github.actor }}
	password: ${{ github.token }}

	- name: lowercase repo name
	id: lower-repo
	shell: pwsh
	run: \|
	"::set-output name=repository::$($env:GITHUB_REPOSITORY.ToLowerInvariant())"

	- name: build and push Docker image
	uses: docker/build-push-action@v4
	with:
	file: Dockerfile
	push: true
	tags: \|
	${{ steps.lower-repo.outputs.repository }}:latest
	platforms: linux/amd64,linux/arm64
	# https://docs.docker.com/build/ci/github-actions/cache/#cache-backend-api
	cache-from: type=gha
	cache-to: type=gha,mode=max

Provide feedback