Skip to content

fix(workflows): match gate reject option case-insensitively#3335

Merged
mnriem merged 1 commit into
github:mainfrom
Noor-ul-ain001:fix/gate-reject-case-insensitive
Jul 6, 2026
Merged

fix(workflows): match gate reject option case-insensitively#3335
mnriem merged 1 commit into
github:mainfrom
Noor-ul-ain001:fix/gate-reject-case-insensitive

Commits

Commits on Jul 4, 2026