From 5e12b757162970b317e2fdf2490b694b52125743 Mon Sep 17 00:00:00 2001 From: Kazuhiro NISHIYAMA Date: Fri, 9 Feb 2024 17:46:24 +0900 Subject: 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] --- .github/workflows/windows.yml | 7 ------- 1 file changed, 7 deletions(-) (limited to '.github/workflows/windows.yml') 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 }} -- cgit v1.2.3