ensure-docs-compiled.yaml

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