aboutsummaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorEvgenii Kliuchnikov <eustas@google.com>2023-07-24 03:29:35 -0700
committerCopybara-Service <copybara-worker@google.com>2023-07-24 03:30:15 -0700
commitdbfebd13dcf51e1360f4f943306282b396a3e8cd (patch)
tree954b6b03a8fe11f78af8806f7ef9dd78fc7fa48f /.github
parent779a49bfd67793f64b43015a85bc5965fba2063f (diff)
downloadbrotli-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
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/codeql.yml2
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 }}"