We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents 24bb5d1 + 8c07bfb commit d037f66Copy full SHA for d037f66
.github/workflows/docs.yml
@@ -5,7 +5,8 @@ on:
5
branches:
6
- main
7
release:
8
-
+
9
+ # Documentation built but not deployed for pull requests
10
pull_request:
11
12
@@ -42,8 +43,10 @@ jobs:
42
43
run: make -C doc/manual html
44
45
- name: Deploy
- if: github.event_name == 'push' && github.ref == 'refs/heads/main'
46
- uses: peaceiris/actions-gh-pages@v3
+ # Documentation deployed only on pushes to main and releases
47
+ if: ${{ (github.event_name == 'push' && github.ref == 'refs/heads/main') || github.event_name == 'release' }}
48
+ uses: peaceiris/actions-gh-pages@v4
49
with:
50
github_token: ${{ secrets.GITHUB_TOKEN }}
51
publish_dir: ./doc/manual/build/html
52
0 commit comments