We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 5b5d65b commit 29cb81fCopy full SHA for 29cb81f
.github/workflows/documentation.yaml
@@ -1,6 +1,9 @@
1
name: documentation
2
3
-on: [push, pull_request, workflow_dispatch]
+on:
4
+ push:
5
+ branches: [main]
6
+ workflow_dispatch:
7
8
permissions:
9
contents: write
@@ -19,7 +22,10 @@ jobs:
19
22
sphinx-build . _build/html
20
23
- name: Deploy to GitHub Pages
21
24
uses: peaceiris/actions-gh-pages@v3
- if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/main' }}
25
+ if: |
26
+ github.event_name == 'push' &&
27
+ github.ref == 'refs/heads/main' &&
28
+ startsWith(github.event.head_commit.message, 'Merge pull request')
29
with:
30
publish_branch: gh-pages
31
github_token: ${{ secrets.GITHUB_TOKEN }}
0 commit comments