diff options
author | Evgenii Kliuchnikov <eustas@google.com> | 2023-07-24 03:29:35 -0700 |
---|---|---|
committer | Copybara-Service <copybara-worker@google.com> | 2023-07-24 03:30:15 -0700 |
commit | dbfebd13dcf51e1360f4f943306282b396a3e8cd (patch) | |
tree | 954b6b03a8fe11f78af8806f7ef9dd78fc7fa48f | |
parent | 779a49bfd67793f64b43015a85bc5965fba2063f (diff) | |
download | brotli-dbfebd13dcf51e1360f4f943306282b396a3e8cd.zip brotli-dbfebd13dcf51e1360f4f943306282b396a3e8cd.tar.gz brotli-dbfebd13dcf51e1360f4f943306282b396a3e8cd.tar.bz2 |
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
-rw-r--r-- | .github/workflows/codeql.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml index fad20e2..e00adf7 100644 --- a/.github/workflows/codeql.yml +++ b/.github/workflows/codeql.yml @@ -68,3 +68,5 @@ jobs: uses: github/codeql-action/analyze@v2 with: category: "/language:${{matrix.language}}" + ref: "${{ github.ref != 'master' && github.ref || '/refs/heads/master' }}" + sha: "${{ github.sha }}" |