[ci] fix gh-pages branch push

githedgehog · Oct 30, 2023 · da1ec04 · da1ec04
1 parent 46375a0
commit da1ec04
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -50,14 +50,18 @@ jobs:
       - name: Deploy versioned docs
         # TODO support publishing non-dev versions
         if: github.event_name == 'push' && github.ref == 'refs/heads/master'
-        run: make deploy RELEASE=dev ALIAS=master
+        env:
+            PUSH_TOKEN: ${{ secrets.GH_DEPLOY_PUSH_TOKEN }}
+        run: |
+            make deploy RELEASE=dev ALIAS=master
+            git push https://[email protected]/${{ github.repository }} gh-pages
 
       - name: Push gh-pages branch
         if: github.event_name == 'push' && (github.ref == 'refs/heads/master' || startsWith(github.event.ref, 'refs/heads/release/'))
         uses: ad-m/[email protected]
         with:
             github_token: ${{ secrets.GH_DEPLOY_PUSH_TOKEN }}
-            branch: gh-deploy
+            branch: gh-pages
 
       - name: Setup tmate session for debug
         if: ${{ failure() && github.event_name == 'workflow_dispatch' && inputs.debug_enabled }}