diff options
| author | Kazuhiro NISHIYAMA <[email protected]> | 2024-02-09 17:46:24 +0900 |
|---|---|---|
| committer | Kazuhiro NISHIYAMA <[email protected]> | 2024-02-09 17:52:17 +0900 |
| commit | 5e12b757162970b317e2fdf2490b694b52125743 (patch) | |
| tree | 14b90b48bd8c72c6dea5c3eac7e2c21f2e21ee49 /enc/jis | |
| 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 'enc/jis')
0 files changed, 0 insertions, 0 deletions