Skip to content

ci: subscribe the four gate workflows to merge_group, and move ci/lint path filtering into the jobs (#3523 steps 1-2) - #3722

Merged
os-project-manager merged 2 commits into
mainfrom
claude/issue-3523-merge-group-triggers
Aug 8, 2026
Merged

ci: subscribe the four gate workflows to merge_group, and move ci/lint path filtering into the jobs (#3523 steps 1-2)#3722
os-project-manager merged 2 commits into
mainfrom
claude/issue-3523-merge-group-triggers