Skip to content

fix(workflows): gate prompt uses isdecimal() so a superscript digit can't crash it#3624

Merged
mnriem merged 1 commit into
github:mainfrom
jawwad-ali:fix/gate-prompt-isdecimal
Jul 22, 2026
Merged

fix(workflows): gate prompt uses isdecimal() so a superscript digit can't crash it#3624
mnriem merged 1 commit into
github:mainfrom
jawwad-ali:fix/gate-prompt-isdecimal