diff options
Diffstat (limited to '.github/workflows/annocheck.yml')
-rw-r--r-- | .github/workflows/annocheck.yml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/.github/workflows/annocheck.yml b/.github/workflows/annocheck.yml index cefefebb58..7715375e93 100644 --- a/.github/workflows/annocheck.yml +++ b/.github/workflows/annocheck.yml @@ -14,6 +14,12 @@ on: - '**/man' - '**.rdoc' - '**/.document' + merge_group: + paths-ignore: + - 'doc/**' + - '**/man' + - '**.rdoc' + - '**/.document' concurrency: group: ${{ github.workflow }} / ${{ startsWith(github.event_name, 'pull') && github.ref_name || github.sha }} |