mirror of
https://github.com/github/codeql.git
synced 2026-01-30 23:02:56 +01:00
97793b58cd
In particular, we now write full exception information, so we can diagnose problems. We were using `warn` to log errors in some cases, and generally using lower-level functions than necessary. We now use the appropriate functions. I've lost the distinction between e.g. ErrorHigh and ErrorSevere in this, but we can add it back if it's important.