From 1a9dd6d4e28ed889f8d2846f4388d3b89ea05f91 Mon Sep 17 00:00:00 2001 From: zurdi Date: Wed, 26 Feb 2025 17:10:49 +0000 Subject: [PATCH] chore: update deployment workflow to fetch and pull changes from main and gh-pages branches --- .github/workflows/deploy.yml | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml index 938806c..226d16f 100644 --- a/.github/workflows/deploy.yml +++ b/.github/workflows/deploy.yml @@ -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