mirror of
https://github.com/github/codeql.git
synced 2025-12-17 01:03:14 +01:00
These failures were likely caused by https://github.com/github/codeql/pull/16127 My guess is that they can probably be deleted altogether, but as the failures are blocking other development, I have opted to simply disable them for the time being.