diff options
author | Emanuele Torre <torreemanuele6@gmail.com> | 2023-07-13 06:19:32 +0200 |
---|---|---|
committer | Emanuele Torre <torreemanuele6@gmail.com> | 2023-07-13 06:20:11 +0200 |
commit | 55249e29beb6847ef13d5c38899a7cf0ebdc018e (patch) | |
tree | f4e34dcff3798995cc257f4b63a95d5e9cf7018c /.github | |
parent | ab2779e2e56a11446a424129a94e7bf961e64d0a (diff) |
Also run manpage.yml workflow on pull requests that modify the manual
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/manpage.yml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/.github/workflows/manpage.yml b/.github/workflows/manpage.yml index db84c629..6ce2fdcf 100644 --- a/.github/workflows/manpage.yml +++ b/.github/workflows/manpage.yml @@ -6,6 +6,12 @@ on: - 'docs/**' - 'tests/man.test' - 'jq.1.prebuilt' + pull_request: + paths: + - '.github/workflows/manpage.yml' + - 'docs/**' + - 'tests/man.test' + - 'jq.1.prebuilt' jobs: manpages: |