diff options
Diffstat (limited to '.github/workflows/codeql.yml')
| -rw-r--r-- | .github/workflows/codeql.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml index 47a421fa78..021376a2d5 100644 --- a/.github/workflows/codeql.yml +++ b/.github/workflows/codeql.yml @@ -31,7 +31,7 @@ jobs: id: always run: | if [ "${{ github.event_name }}" = "pull_request" ]; then - if [ "${{ contains(github.event.pull_request.labels.*.name, 'ci/codeql') }}" = "true" ]; then + if [ "${{ contains(github.event.pull_request.labels.*.name, 'run-ci/codeql') }}" = "true" ]; then echo '::set-output name=run::true' echo '::notice::Found ci/codeql label, unconditionally running all CodeQL checks.' else |