diff options
| -rw-r--r-- | .github/workflows/codeql.yml | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml index a29ea46027..365c3fdf56 100644 --- a/.github/workflows/codeql.yml +++ b/.github/workflows/codeql.yml @@ -1,14 +1,15 @@ name: "CodeQL" +concurrency: + group: ${{ github.workflow }}-${{ github.event_name == 'pull_request' && github.head_ref || github.sha }} + cancel-in-progress: true + on: push: branches: [ "master" ] pull_request: # The branches below must be a subset of the branches above branches: [ "master" ] - schedule: - - cron: '42 0 * * 0' - workflow_dispatch: jobs: analyze: name: Analyze |