Merge pull request #132 from devops-infra/dependabot/github_actions/c… #141

	name: Push to master

	on:
	push:
	branches:
	- master

	jobs:
	labels:
	name: Update repo labels
	runs-on: ubuntu-latest
	steps:
	- name: Checkout repository
	uses: actions/checkout@v4

	- name: Download labels' config
	shell: bash
	run: \|
	mkdir -p .tmp
	curl -LsS https://raw.githubusercontent.com/devops-infra/.github/master/.github/labels.yml -o .tmp/labels.yml

	- name: Update labels
	uses: crazy-max/[email protected]
	with:
	github-token: ${{ secrets.GITHUB_TOKEN }}
	yaml-file: .tmp/labels.yml

	lint:
	name: Run linters
	runs-on: ubuntu-latest
	steps:
	- name: Checkout repository
	uses: actions/checkout@v4

	- name: Docker Lint
	uses: luke142367/[email protected]
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

	- name: Haskell Dockerfile Linter (Hadolint)
	uses: brpaz/[email protected]
	with:
	dockerfile: Dockerfile

	build_and_push:
	name: Build and push images
	needs: lint
	runs-on: ubuntu-latest
	steps:
	- name: Checkout repository
	uses: actions/checkout@v4

	- name: Build Docker image and push to registry
	env:
	DOCKER_TOKEN: ${{ secrets.DOCKER_TOKEN }}
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	TERM: xterm-256color
	run: make build push

Provide feedback