summaryrefslogtreecommitdiff
path: root/.github/workflows/windows.yml
diff options
context:
space:
mode:
authorKazuhiro NISHIYAMA <zn@mbf.nifty.com>2024-02-09 17:46:24 +0900
committerKazuhiro NISHIYAMA <zn@mbf.nifty.com>2024-02-09 17:52:17 +0900
commit5e12b757162970b317e2fdf2490b694b52125743 (patch)
tree14b90b48bd8c72c6dea5c3eac7e2c21f2e21ee49 /.github/workflows/windows.yml
parent007c75ce4c66243e41144c6977e5ccbf4ab71c93 (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.yml7
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 }}