mirror of
https://github.com/github/codeql.git
synced 2025-12-30 15:46:34 +01:00
1857de1f33
Combine two regexes into a single one. This saves up to 5s on large databases by reducing the number of separate scans of the comments table before regex matching. The combined regex is slightly more permissive than the original two, since it allows a combination of the two matched formats. A string that matches one of the original regexes will match the combined regex.