We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent a9d4b71 commit 827cf43Copy full SHA for 827cf43
.github/workflows/docs.yml
@@ -41,7 +41,7 @@ jobs:
41
run: make -C doc/manual html
42
43
- name: Deploy
44
- if: github.event_name == 'push' && github.ref == 'refs/heads/main'
+ if: ${{ (github.event_name == 'push' && github.ref == 'refs/heads/main') || github.event_name == 'release' }}
45
uses: peaceiris/actions-gh-pages@v3
46
with:
47
github_token: ${{ secrets.GITHUB_TOKEN }}
prevent_commit_to_main.sh
100644
100755
0 commit comments