Workaround for GitHub / CodeQL bug Sometimes GitHub Actions uses bare branch name whereas CodeQL always expects ref. See https://github.com/github/codeql-action/issues/796 PiperOrigin-RevId: 550504283