⚡ Bolt: Pre-compile Regex in model importers - #628

⚡ Bolt: Pre-compile Regex in model importers#628

LeanBitLab merged 1 commit into

mainLeanBitLab/LeanType:mainfrom

bolt-regex-precompile-importers-15444921821559476927LeanBitLab/LeanType:bolt-regex-precompile-importers-15444921821559476927Copy head branch name to clipboard