We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 24bb5d1 commit 84bb494Copy full SHA for 84bb494
.github/workflows/docs.yml
@@ -1,5 +1,5 @@
1
-name: Build Documentation
2
-
+niame: Build Documentation
+i
3
on:
4
push:
5
branches:
@@ -42,8 +42,9 @@ jobs:
42
run: make -C doc/manual html
43
44
- name: Deploy
45
- if: github.event_name == 'push' && github.ref == 'refs/heads/main'
46
- uses: peaceiris/actions-gh-pages@v3
+ if: ${{ (github.event_name == 'push' && github.ref == 'refs/heads/main') || github.event_name == 'release') }}
+ uses: peaceiris/actions-gh-pages@v4
47
with:
48
github_token: ${{ secrets.GITHUB_TOKEN }}
49
publish_dir: ./doc/manual/build/html
50
+
0 commit comments