chore: update deployment workflow to fetch and pull changes from main and gh-pages branches

2026-04-23 06:54:41 +00:00 · 2025-02-26 17:10:49 +00:00
parent 57ce035f90
commit 1a9dd6d4e2
1 changed files with 5 additions and 0 deletions
@@ -47,6 +47,11 @@ jobs:
          git config --global user.name ${{ secrets.GIT_NAME }}
          git config --global user.email ${{ secrets.GIT_EMAIL }}
          git remote set-url origin https://x-access-token:${{ secrets.GITHUB_TOKEN }}@github.com/${{ github.repository }}.git
+          git fetch -a
+          git pull origin main
+          git checkout gh-pages
+          git pull origin gh-pages
+          git checkout main

      - name: Build the documentation
        run: uv run mike deploy --push ${{ github.event.inputs.version }} latest