Managed by Terraform: Update notify-integration-release-via-tag githu… #13

	name: Ensure Docs are Compiled
	on:
	push:
	jobs:
	ensure-docs-compiled:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout 🛎
	uses: actions/checkout@8e5e7e5ab8b370d6c329ec480221332ada57f0ab # v3.5.2
	- uses: actions/setup-go@fac708d6674e30b6ba41289acaab6d4b75aa0753 # v4.0.1
	- shell: bash
	run: make build-docs
	- shell: bash
	run: \|
	if [[ -z "$(git status -s)" ]]; then
	echo "OK"
	else
	echo "Docs have been updated, but the compiled docs have not been committed."
	echo "Run 'make build-docs', and commit the result to resolve this error."
	exit 1
	fi

Provide feedback