Merge pull request #122 from ethanmdavidson/dependabot/github_actions… #72

	name: Ensure Docs are Compiled
	on:
	push:
	jobs:
	ensure-docs-compiled:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout 🛎
	uses: actions/checkout@9bb56186c3b09b4f86b1c65136769dd318469633 # v4.1.2
	- uses: actions/setup-go@0c52d547c9bc32b1aa3301fd7a9cb496313a4491 # v5.0.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