Limit page deployment of CI to master branch

skokvermon · Jul 27, 2023 · 7bfa7fb · 7bfa7fb
1 parent fc01ef1
commit 7bfa7fb
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 6 deletions.
diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml
@@ -60,8 +60,9 @@ jobs:
       - name: Deploy documentation
         uses: JamesIves/github-pages-deploy-action@v4
         if: >
-          github.event_name == 'push'
-          || github.event.pull_request.head.repo.full_name == github.repository
+          (github.event_name == 'push'
+          || github.event.pull_request.head.repo.full_name == github.repository) &&
+          github.ref == 'refs/heads/master'
         with:
           token: ${{ secrets.GH_PAGES }}
           branch: gh-pages # The branch the action should deploy to.

diff --git a/.github/workflows/gitlab-ci.yml b/.github/workflows/gitlab-ci.yml
@@ -4,10 +4,6 @@ on:
     branches-ignore:
       - gh-pages  # deployment target branch (this workflow should not exist on that branch anyway)
       - v**       # such branch names conflict with tags
-  pull_request:
-    branches-ignore:
-      - gh-pages  # deployment target branch (this workflow should not exist on that branch anyway)
-      - v**       # such branch names conflict with tags
   workflow_dispatch:
 
 jobs: