Makefile: stop image building on docker/compiler errors #834

	name: Project Checks

	on:
	push:
	branches:
	- main
	- "release-*"
	- "test/**"
	pull_request:
	branches:
	- main
	- "release-*"

	env:
	GO_VERSION: "1.21.5"

	jobs:
	verify:
	name: Minimal PR Verification
	runs-on: ubuntu-22.04
	timeout-minutes: 5
	steps:
	- uses: actions/checkout@v4
	with:
	fetch-depth: 0
	- uses: actions/setup-go@v4
	with:
	go-version: ${{ env.GO_VERSION }}

	- name: make verify
	run: \|
	make verify

	- name: Build docs
	run: \|
	make site-build
	make clean-html

	- name: Install gh-pages build dependencies
	run: \|
	pip3 install --user -r docs/requirements.txt
	echo "`python3 -m site --user-base`/bin" >> $GITHUB_PATH

	- name: Verify update of gh-pages
	run: \|
	git config user.name "Github"
	git config user.email "[email protected]"
	./scripts/build/update-gh-pages.sh

Provide feedback