diff options
author | Kazuhiro NISHIYAMA <zn@mbf.nifty.com> | 2024-02-09 17:46:24 +0900 |
---|---|---|
committer | Kazuhiro NISHIYAMA <zn@mbf.nifty.com> | 2024-02-09 17:52:17 +0900 |
commit | 5e12b757162970b317e2fdf2490b694b52125743 (patch) | |
tree | 14b90b48bd8c72c6dea5c3eac7e2c21f2e21ee49 /.github/workflows/windows.yml | |
parent | 007c75ce4c66243e41144c6977e5ccbf4ab71c93 (diff) |
Remove unavailable filters for merge_group event
actionlint says:
- "branches" filter is not available for merge_group event. it is only for push, pull_request, pull_request_target, workflow_run events [events]
- "paths" filter is not available for merge_group event. it is only for push, pull_request, pull_request_target events [events]
- "paths-ignore" filter is not available for merge_group event. it is only for push, pull_request, pull_request_target events [events]
Diffstat (limited to '.github/workflows/windows.yml')
-rw-r--r-- | .github/workflows/windows.yml | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/.github/workflows/windows.yml b/.github/workflows/windows.yml index aeafa83930..0776857589 100644 --- a/.github/workflows/windows.yml +++ b/.github/workflows/windows.yml @@ -17,13 +17,6 @@ on: - '**/.document' - '.*.yml' merge_group: - paths-ignore: - - 'doc/**' - - '**/man' - - '**.md' - - '**.rdoc' - - '**/.document' - - '.*.yml' concurrency: group: ${{ github.workflow }} / ${{ startsWith(github.event_name, 'pull') && github.ref_name || github.sha }} |