mirror of
https://github.com/github/codeql.git
synced 2026-05-05 21:55:19 +02:00
Make extraction messages `warning` if code is still extracted regardless of the reported issue. Make extraction messages `error` if some code is not extracted.