mirror of
https://github.com/github/codeql.git
synced 2026-01-11 05:30:24 +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.