Create and publish a Docker image #127

	---
	# This workflow uses actions that are not certified by GitHub.
	# They are provided by a third-party and are governed by
	# separate terms of service, privacy policy, and support
	# documentation.

	name: Create and publish a Docker image

	on:
	push:
	branches: ['main']
	paths:
	- .devcontainer/Dockerfile
	- .github/workflows/push-container.yml
	- src/**
	- requirements.txt
	# to be able to trigger a manual build
	schedule:
	- cron: '30 4 * * *'
	workflow_dispatch:

	env:
	REGISTRY: ghcr.io
	IMAGE_NAME: ${{ github.repository }}

	permissions:
	contents: read
	packages: write

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

	steps:
	-
	name: Checkout repository
	uses: actions/checkout@v4
	-
	name: Log in to the Container registry
	uses: docker/login-action@v3
	with:
	registry: ${{ env.REGISTRY }}
	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 Docker image
	uses: docker/build-push-action@v5
	with:
	context: .
	file: .devcontainer/Dockerfile
	push: true
	tags: ${{ steps.meta.outputs.tags }}
	labels: ${{ steps.meta.outputs.labels }}

Provide feedback