Merge pull request #198 from alan-turing-institute/docs #183

	name: Create and publish a Docker image

	on:
	push:
	branches:
	- "main"
	- "pulumi*"
	tags:
	- "*"

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

	jobs:
	build-and-push-image:
	name: Push Docker images to GitHub container repository
	runs-on: ubuntu-latest
	strategy:
	fail-fast: false
	matrix:
	include:
	- dockerfile: docker/run_all/Dockerfile
	image: ghcr.io/${{ github.repository }}_run_all
	- dockerfile: docker/slack_bot/Dockerfile
	image: ghcr.io/${{ github.repository }}_slackbot
	- dockerfile: docker/create_index/Dockerfile
	image: ghcr.io/${{ github.repository }}_create_index
	- dockerfile: docker/reginald_app/Dockerfile
	image: ghcr.io/${{ github.repository }}_app
	permissions:
	packages: write
	contents: read

	steps:
	- name: Check out the repo
	uses: actions/checkout@v4

	- name: Log in to the Container registry
	uses: docker/[email protected]
	with:
	registry: ghcr.io
	username: ${{ github.actor }}
	password: ${{ secrets.GITHUB_TOKEN }}

	- name: Extract metadata (tags, labels) for Docker
	id: meta
	uses: docker/[email protected]
	with:
	images: ${{ matrix.image }}

	- name: Build and push Docker images
	uses: docker/[email protected]
	with:
	file: ${{ matrix.dockerfile }}
	push: true
	tags: ${{ steps.meta.outputs.tags }}
	labels: ${{ steps.meta.outputs.labels }}

Provide feedback