⚡ Bolt: Pre-compile Regex in dictionary loops to eliminate allocations - #623

⚡ Bolt: Pre-compile Regex in dictionary loops to eliminate allocations#623

LeanBitLab merged 1 commit into

mainLeanBitLab/LeanType:mainfrom

bolt/precompile-regex-dictionaries-1025679069376110650LeanBitLab/LeanType:bolt/precompile-regex-dictionaries-1025679069376110650Copy head branch name to clipboard