Skip to content

Commit 9eb8288

Browse files
committed
Include release
1 parent 213cc7d commit 9eb8288

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

‎.github/workflows/docs.yml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -41,7 +41,7 @@ jobs:
4141
run: make -C doc/manual html
4242

4343
- name: Deploy
44-
if: ${github.event_name == 'push' && github.ref == 'refs/heads/main'}
44+
if: ${(github.event_name == 'push' && github.ref == 'refs/heads/main') || github.event_name == 'release'}
4545
uses: peaceiris/actions-gh-pages@v3
4646
with:
4747
github_token: ${{ secrets.GITHUB_TOKEN }}

0 commit comments

Comments
 (0)