Skip to content

Commit 39fc502

Browse files
committed
create subdirectory doc/manual
1 parent 5c3eed7 commit 39fc502

File tree

11 files changed

+5
-0
lines changed

11 files changed

+5
-0
lines changed

.github/workflows/docs.yml

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -6,6 +6,10 @@ on:
66
- main
77
release:
88

9+
pull_request:
10+
branches:
11+
- main
12+
913
jobs:
1014
test:
1115
runs-on: ubuntu-latest
@@ -37,6 +41,7 @@ jobs:
3741
run: make -C doc/manual html
3842

3943
- name: Deploy
44+
if: github.event_name == 'push' && github.ref == 'refs/heads/main'
4045
uses: peaceiris/actions-gh-pages@v3
4146
with:
4247
github_token: ${{ secrets.GITHUB_TOKEN }}
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.

0 commit comments

Comments
 (0)