Generated from commit d9161f2d0f58197fb6d7a30f2ad0c25163edbc8d #142

	name: Docker

	on:
	push:
	branches:
	- master
	- v.
	tags:
	- 'v..*'

	env:
	IMAGE_ID: ghcr.io/anlab-kaist/kens
	IMAGE_NAME: kens

	jobs:
	push:
	runs-on: ubuntu-latest
	permissions:
	contents: read
	packages: write
	if: github.event_name == 'push'

	steps:
	- uses: actions/checkout@v4

	- name: Build image
	run: \|
	docker build . --file Dockerfile --tag $IMAGE_NAME

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

	- name: Push image to GitHub Container Registry
	run: \|
	# Strip git ref prefix from version
	VERSION=$(echo "${{ github.ref }}" \| sed -e 's,./$.$,\1,')

	# Strip "v" prefix from tag name
	[[ "${{ github.ref }}" == "refs/tags/"* ]] && VERSION=$(echo $VERSION \| sed -e 's/^v//')
	[[ "${{ github.ref }}" == "refs/heads/"* ]] && VERSION=$(echo $VERSION \| sed -e 's/^v//')

	# Use Docker `latest` tag convention
	[ "$VERSION" == "master" ] && VERSION=latest

	echo IMAGE_ID=$IMAGE_ID
	echo VERSION=$VERSION

	docker tag $IMAGE_NAME $IMAGE_ID:$VERSION

	docker push $IMAGE_ID:$VERSION

Provide feedback