diff --git a/.github/workflows/ensure-docs-compiled.yaml b/.github/workflows/ensure-docs-compiled.yaml
deleted file mode 100644
index 74a174d3..00000000
--- a/.github/workflows/ensure-docs-compiled.yaml
+++ /dev/null
@@ -1,22 +0,0 @@
-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
-