Merge pull request #157 from ethanmdavidson/dependabot/github_actions… #142

	name: Ensure Docs are Compiled
	on:
	push:
	jobs:
	ensure-docs-compiled:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout 🛎
	uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
	- uses: actions/setup-go@3041bf56c941b39c61721a86cd11f3bb1338122a # v5.2.0
	- shell: bash
	run: make generate
	- 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 generate and commit the result to resolve this error."
	exit 1
	fi

Provide feedback