Skip to content

fix(workflows): fail gate step loudly on a malformed 'options'#3595

Merged
mnriem merged 1 commit into
github:mainfrom
Noor-ul-ain001:fix/gate-nonlist-options-crash
Jul 21, 2026
Merged

fix(workflows): fail gate step loudly on a malformed 'options'#3595
mnriem merged 1 commit into
github:mainfrom
Noor-ul-ain001:fix/gate-nonlist-options-crash