Skip to content

ci(lint): add a .sh arm to select-gate-families's pm_dispatch_gates read-set - #16986

Merged
baozhoutao merged 1 commit into
mainfrom
claude/issue-16769-gate-selector-sh-arm
Sep 9, 2026
Merged

ci(lint): add a .sh arm to select-gate-families's pm_dispatch_gates read-set#16986
baozhoutao merged 1 commit into
mainfrom
claude/issue-16769-gate-selector-sh-arm

Commits

Commits on Sep 8, 2026