mirror of
https://github.com/github/codeql.git
synced 2025-12-17 17:23:36 +01:00
I think that this is a regression, but one that we're not likely to fix soon, so let's just accept the output for now. I've opened a ticket to remind us to return to this.