1 files changed, 0 insertions, 35 deletions
diff --git a/.github/workflows/update-docs.yml b/.github/workflows/update-docs.yml
deleted file mode 100644
index 813e69c..0000000
--- a/.github/workflows/update-docs.yml
+++ /dev/null
@@ -1,35 +0,0 @@
-name: Update docs
-
-on: push
-
-jobs:
-  update-readme:
-    name: Update docs
-    runs-on: ubuntu-22.04
-    steps:
-      - uses: actions/checkout@v3
-        with:
-          submodules: true
-
-      - name: Install Neovim and dependencies
-        env:
-          NVIM_TAG: v0.8.3
-        run: |
-          bash ./.github/workflows/install_nvim.sh
-
-      - name: Update docs
-        env:
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-          COMMIT_MSG: |
-            [docgen] Update docs
-            skip-checks: true
-        run: |
-          git config user.email "actions@github"
-          git config user.name "Github Actions"
-          git remote set-url origin https://x-access-token:${GITHUB_TOKEN}@github.com/${GITHUB_REPOSITORY}.git
-          python -m pip install pyparsing==3.0.9
-          python .github/main.py generate
-          python .github/main.py lint
-          git add README.md doc
-          # Only commit and push if we have changes
-          git diff --quiet && git diff --staged --quiet || (git commit -m "${COMMIT_MSG}"; git push origin HEAD:${GITHUB_REF})