docs: Update docs

2026-07-01 01:37:53 -04:00 · 2025-12-23 16:38:52 +09:00
parent 7ad2fb45e3
commit 603aa0a66d
4 changed files with 183 additions and 87 deletions
@@ -235,6 +235,7 @@ jobs:
        run: |
          git config --global user.name "github-actions[bot]"
          git config --global user.email "41898282+github-actions[bot]@users.noreply.github.com"
+          git pull
          if git diff --quiet; then
            echo "No docs updates to commit."
            exit 0